Negation in logic programming
- 31 December 1987
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 4 (4), 289-308
- https://doi.org/10.1016/0743-1066(87)90007-0
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- The consistency of negation as failureThe Journal of Logic Programming, 1986
- A kripke-kleene semantics for logic programs*The Journal of Logic Programming, 1985
- Negation as failure. IIThe Journal of Logic Programming, 1985
- Automating control for logic programsThe Journal of Logic Programming, 1985
- Making prolog more expressiveThe Journal of Logic Programming, 1984
- Negation as failure: a comparison of Clark's completed data base and Reiter's closed world assumptionThe Journal of Logic Programming, 1984
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982
- Algorithm = logic + controlCommunications of the ACM, 1979
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976
- On notation for ordinal numbersThe Journal of Symbolic Logic, 1938