The expressive powers of the logic programming semantics (extended abstract)
- 2 April 1990
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 196-204
- https://doi.org/10.1145/298514.298564
Abstract
No abstract availableThis publication has 19 references indexed in Scilit:
- Negation in logic programmingThe Journal of Logic Programming, 1987
- Relational queries computable in polynomial timeInformation and Control, 1986
- Fixed-point extensions of first-order logicAnnals of Pure and Applied Logic, 1986
- A kripke-kleene semantics for logic programs*The Journal of Logic Programming, 1985
- Negation as failure. IIThe Journal of Logic Programming, 1985
- Structure and complexity of relational queriesJournal of Computer and System Sciences, 1982
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982
- Negation as FailurePublished by Springer Nature ,1978
- An Introduction to Inductive DefinitionsPublished by Elsevier ,1977
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976