Sciweavers

3513 search results - page 28 / 703
» Super Logic Programs
Sort
View
PPDP
2000
Springer
14 years 12 days ago
Continuations for parallel logic programming
Eneia Todoran, Nikolaos Papaspyrou
PADL
2007
Springer
14 years 3 months ago
Aspect-Oriented Programming in Higher-Order and Linear Logic
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...
Chuck C. Liang
NGC
2000
Springer
124views Communications» more  NGC 2000»
13 years 8 months ago
Temporal Disjunctive Logic Programming
In this paper we introduce the logic programminglanguage Disjunctive Chronolog which combines the programming paradigms of temporal and disjunctive logic programming. Disjunctive C...
Manolis Gergatsoulis, Panos Rondogiannis, Themis P...