Compositional model-theoretic semantics for logic programs
- 1 March 1992
- journal article
- Published by Springer Nature in New Generation Computing
- Vol. 11 (1) , 1-21
- https://doi.org/10.1007/bf03037525
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Compiling a default reasoning system into PrologNew Generation Computing, 1991
- Logic ProgrammingPublished by Elsevier ,1990
- Problems and Promises of Computational LogicPublished by Springer Nature ,1990
- A logical analysis of modules in logic programmingThe Journal of Logic Programming, 1989
- A logical framework for default reasoningArtificial Intelligence, 1988
- Foundations of Logic ProgrammingPublished by Springer Nature ,1987
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982
- On Closed World Data BasesPublished by Springer Nature ,1978
- Negation as FailurePublished by Springer Nature ,1978
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976