Eliminating negation from normal logic programs
- 1 January 1990
- book chapter
- Published by Springer Nature
- p. 217-231
- https://doi.org/10.1007/3-540-53162-9_41
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- A transformational approach to negation in logic programmingThe Journal of Logic Programming, 1990
- A procedural semantics for well founded negation in logic programsPublished by Association for Computing Machinery (ACM) ,1989
- Unfounded sets and well-founded semantics for general logic programsPublished by Association for Computing Machinery (ACM) ,1988
- On the Declarative Semantics of Deductive Databases and Logic ProgramsPublished by Elsevier ,1988
- Towards a Theory of Declarative KnowledgePublished by Elsevier ,1988
- Foundations of Logic ProgrammingPublished by Springer Nature ,1987
- Constraint logic programmingPublished by Association for Computing Machinery (ACM) ,1987
- Making prolog more expressiveThe Journal of Logic Programming, 1984
- Negation as FailurePublished by Springer Nature ,1978
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976