Sciweavers

1989 search results - page 15 / 398
» Set functions for functional logic programming
Sort
View
ICLP
1990
Springer
13 years 11 months ago
On Warren's Method for Functional Programming in Logic
Although Warren's method for the evaluation in Prolog of expressions with higherorder functions appears to have been neglected, it is of great value. Warren's paper need...
Mantis H. M. Cheng, Maarten H. van Emden, B. E. Ri...
ICLP
2007
Springer
14 years 1 months ago
Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming
Rafael Caballero, Mario Rodríguez-Artalejo,...
CCL
1999
Springer
13 years 12 months ago
Functional and Constraint Logic Programming
Mario Rodríguez-Artalejo