3572 search results - page 39 / 715 » Nominal Logic Programming |
81
Voted
ICALP
1991
Springer
15 years 4 months ago
1991
Springer
118
click to vote
PADL
2007
Springer
15 years 6 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...
102
click to vote
NGC
2000
Springer
15 years 7 days 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...
188
Voted
POPL
2009
ACM
16 years 1 months ago
2009
ACM
71
Voted
PADL
2007
Springer
15 years 6 months ago
2007
Springer