3738 search results - page 50 / 748 » Parametrized Logic Programming |
PPDP
2000
Springer
13 years 11 months ago
2000
Springer
PPDP
2000
Springer
13 years 11 months ago
2000
Springer
ICALP
1991
Springer
13 years 11 months ago
1991
Springer
PADL
2007
Springer
14 years 2 months ago
2007
Springer
Essential elements of aspect-oriented programming can be formulated as forms of logic programming. Extensions of Horn Clause rovide richer abstraction and control mechanisms. Defi...
NGC
2000
Springer
13 years 7 months ago
2000
Springer
In this paper we introduce the logic programminglanguage Disjunctive Chronolog which combines the programming paradigms of temporal and disjunctive logic programming. Disjunctive C...