125 search results - page 1 / 25 » Tabling for Higher-Order Logic Programming |
CADE
2005
Springer
14 years 5 months ago
2005
Springer
We describe the design and implementation of a higher-order tabled logic programming interpreter where some redundant and infinite computation is eliminated by memoizing sub-comput...
FLOPS
1999
Springer
13 years 9 months ago
1999
Springer
We describe a new approach to higher-order narrowing computations in a class of systems suitable for functional logic programming. Our approach is based on a translation of these s...
PPCP
1993
13 years 9 months ago
1993
Higher-order logic programming (HOLP) languages are particularly useful for various kinds of metaprogramming and theorem proving tasks because of the logical support for variable ...
PADL
2007
Springer
13 years 11 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...
ESOP
2005
Springer
13 years 11 months ago
2005
Springer