Procedural interpretation of non-horn logic programs
- 23 November 2005
- book chapter
- Published by Springer Nature
- p. 278-293
- https://doi.org/10.1007/bfb0012837
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- On indefinite databases and the closed world assumptionPublished by Springer Nature ,2005
- Negation as Failure Using Tight Derivations for General Logic ProgramsPublished by Elsevier ,1988
- Negation in Logic ProgrammingPublished by Elsevier ,1988
- Foundations of Logic ProgrammingPublished by Springer Nature ,1984
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982
- An extension to linear resolution with selection functionInformation Processing Letters, 1982
- On Closed World Data BasesPublished by Springer Nature ,1978
- Negation as FailurePublished by Springer Nature ,1978
- Linear resolution with selection functionArtificial Intelligence, 1972