Completeness of the SLDNF-resolution for a class of logic programs
- 1 January 1986
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Completeness of the SLDNF-resolution for a class of logic programsPublished by Springer Nature ,1986
- Integrity constraints in logic databasesThe Journal of Logic Programming, 1985
- Negation as failure. IIThe Journal of Logic Programming, 1985
- A basis for deductive database systemsThe Journal of Logic Programming, 1985
- Horn clause queries and generalizationsThe Journal of Logic Programming, 1985
- Negation as failure: a comparison of Clark's completed data base and Reiter's closed world assumptionThe Journal of Logic Programming, 1984
- Foundations of Logic ProgrammingPublished by Springer Nature ,1984
- On Closed World Data BasesPublished by Springer Nature ,1978
- Negation as FailurePublished by Springer Nature ,1978