947 search results - page 76 / 190 » Declarative Programming in Prolog |
103
Voted
OOPSLA
2004
Springer
15 years 8 months ago
2004
Springer
In an object-oriented language, a derived class may declare a method with the same signature as a method in the base class. The meaning of the re-declaration depends on the langua...
96
Voted
CMOT
1998
15 years 2 months ago
1998
A programming language which is optimized for modelling multi-agent interaction within articulated social structures such as organizations is described with several examples of it...
118
Voted
COLT
1992
Springer
15 years 6 months ago
1992
Springer
This paper deals with a class of Prolog programs, called context-free term transformations (CFT). We present a polynomial time algorithm to identify a subclass of CFT, whose progr...
135
Voted
ISMIS
1994
Springer
15 years 6 months ago
1994
Springer
We assume that safety of information stored in a database depends on the reliability of the agents who have performed the insertions in the database. We present a logic S to repres...
101
Voted
AGP
1998
IEEE
15 years 7 months ago
1998
IEEE
Parsing has been a traditional workbench for showing the virtues of declarative programming. Both logic and functional programming claim the ability of writing parsers in a natura...