6 search results - page 1 / 2 » Preserving Termination of Tabled Logic Programs While Unfold... |
LOPSTR
1997
Springer
13 years 9 months ago
1997
Springer
PPDP
2007
Springer
13 years 11 months ago
2007
Springer
Program transformation is an appealing technique which allows to improve run-time efficiency, space-consumption and more generally to optimize a given program. Essentially it con...
WLP
1997
Springer
13 years 9 months ago
1997
Springer
eduction strategies for logic programs often use an abstraction operator to guarantee the niteness of the set of goals for which partial deductions are . Findingan abstraction ope...
JELIA
2010
Springer
13 years 3 months ago
2010
Springer
Tabled Logic Programming (TLP) is becoming widely available in Prolog systems, but most implementations of TLP implement only answer variance in which an answer A is added to the t...
DAGSTUHL
1996
13 years 6 months ago
1996
Recently, considerable advances have been made in the (on-line) control of logic program specialisation. A clear conceptual distinction has been established between local and glob...