Semantics for Prolog via term rewrite systems
- 1 January 1988
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- A kripke-kleene semantics for logic programs*The Journal of Logic Programming, 1985
- Foundations of Logic ProgrammingPublished by Springer Nature ,1984
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982