Sciweavers

3738 search results - page 217 / 748
» Parametrized Logic Programming
Sort
View
APAL
1999
55views more  APAL 1999»
13 years 8 months ago
Logic Programs, Well-Orderings, and Forward Chaining
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
TOPLAS
1998
41views more  TOPLAS 1998»
13 years 8 months ago
Partial Evaluation of Functional Logic Programs
María Alpuente, Moreno Falaschi, Germ&aacut...
TOPLAS
1998
113views more  TOPLAS 1998»
13 years 8 months ago
An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs
Konstantinos F. Sagonas, Terrance Swift