850 search results - page 67 / 170 » A Logic Programming Language Based on Binding Algebras |
141
click to vote
DALT
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. In this paper, we describe the declarative agent programming language Jadl (JIAC Agent Description Language). Based on threevalued logic, it incorporates ontologies, FIPA...
122
click to vote
DOOD
1993
Springer
15 years 5 months ago
1993
Springer
In this paper we introduce a logical query language extended with object-oriented typing facilities. This language, called DTL (from DataTypeLog), can be seen as an extension of Da...
109
click to vote
WCFLP
2005
ACM
15 years 7 months ago
2005
ACM
Programmers need mechanisms to store application specific data that persists multiple program runs. To accomplish this task, they usually have to deal with storage specific code...
117
click to vote
PPDP
2009
Springer
15 years 8 months ago
2009
Springer
“Scrap Your Boilerplate” (SYB) is an established style of generic functional programming. The present paper reconstructs SYB within the Prolog language with the help of the un...
118
click to vote
ECOOP
2007
Springer
15 years 7 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Our work is based on tracematches, an extension to...