Sciweavers

1989 search results - page 15 / 398
» Set functions for functional logic programming
Sort
View
ICLP
1990
Springer
15 years 10 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...
155
Voted
ICLP
2007
Springer
16 years 15 days ago
Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming
Rafael Caballero, Mario Rodríguez-Artalejo,...
118
Voted
FLOPS
2001
Springer
15 years 11 months ago
A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs
Jesús Manuel Almendros-Jiménez, Anto...
214
Voted
CCL
1999
Springer
15 years 10 months ago
Functional and Constraint Logic Programming
Mario Rodríguez-Artalejo