CAL: A theoretical background of constraint logic programming and its applications
- 31 December 1989
- journal article
- Published by Elsevier in Journal of Symbolic Computation
- Vol. 8 (6) , 589-603
- https://doi.org/10.1016/s0747-7171(89)80063-x
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976
- REF-ARF: A system for solving problems stated as proceduresArtificial Intelligence, 1970
- Ueber die Theorie der algebraischen FormenMathematische Annalen, 1890