Logic programming and negation: A survey
- 1 May 1994
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 19-20, 9-71
- https://doi.org/10.1016/0743-1066(94)90024-8
Abstract
No abstract availableKeywords
This publication has 100 references indexed in Scilit:
- Tabulated resolution for the well-founded semanticsThe Journal of Logic Programming, 1998
- What is failure? An approach to constructive negationActa Informatica, 1995
- A survey of complexity results for non-monotonic logicsThe Journal of Logic Programming, 1993
- Loop checking and negationThe Journal of Logic Programming, 1993
- Acyclic logic programs and the completeness of SLDNF-resolutionTheoretical Computer Science, 1991
- Negation by default and unstratifiable logic programsTheoretical Computer Science, 1991
- Negation in rule-based database languages: a surveyTheoretical Computer Science, 1991
- A sound and complete semantics for a version of negation as failureTheoretical Computer Science, 1989
- A basis for deductive database systems IIThe Journal of Logic Programming, 1986
- Making prolog more expressiveThe Journal of Logic Programming, 1984