Contributions to the Theory of Logic Programming
- 1 July 1982
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 29 (3), 841-862
- https://doi.org/10.1145/322326.322339
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- On the total correctness of nondeterministic programsTheoretical Computer Science, 1981
- On Closed World Data BasesPublished by Springer Nature ,1978
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976
- Proving programs by sets of computationsLecture Notes in Computer Science, 1975
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965