Arrays, bounded quantification and iteration in logic and constraint logic programming
- 31 May 1996
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 26 (1-3) , 133-148
- https://doi.org/10.1016/0167-6423(95)00020-8
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Extending Datalog with arraysData & Knowledge Engineering, 1995
- Constraint logic programming: a surveyThe Journal of Logic Programming, 1994
- Making prolog more expressiveThe Journal of Logic Programming, 1984
- Ten Years of Hoare's Logic: A Survey—Part IACM Transactions on Programming Languages and Systems, 1981
- And/Or Programs: A New Approach to Structured ProgrammingACM Transactions on Programming Languages and Systems, 1980