The programming language GCLA — A definitional approach to logic programming
- 1 April 1990
- journal article
- Published by Springer Nature in New Generation Computing
- Vol. 7 (4), 381-404
- https://doi.org/10.1007/bf03037453
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Foundations of Logic ProgrammingPublished by Springer Nature ,1987
- Higher-order logic programmingLecture Notes in Computer Science, 1986
- N-Prolog: An extension of Prolog with hypothetical implications. I.The Journal of Logic Programming, 1984
- Foundation of logic programming based on inductive definitionNew Generation Computing, 1984
- Principles of Artificial IntelligencePublished by Springer Nature ,1982