Residuation and Guarded Rules for Constraint Logic Programming
- 1 January 1992
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A logic programming language based on the Andorra modelNew Generation Computing, 1990
- Integrating logic and functional programmingHigher-Order and Symbolic Computation, 1989
- PARLOG: parallel programming in logicACM Transactions on Programming Languages and Systems, 1986
- Automating control for logic programsThe Journal of Logic Programming, 1985
- Foundations of Logic ProgrammingPublished by Springer Nature ,1984
- Object oriented programming in Concurrent PrologNew Generation Computing, 1983