Natural deduction proof theory for logic programming
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 265-281
- https://doi.org/10.1007/3-540-56454-3_14
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Unification RevisitedPublished by Elsevier ,1988
- Logic and ComputationPublished by Cambridge University Press (CUP) ,1987
- N-Prolog: An extension of Prolog with hypothetical implications. I.The Journal of Logic Programming, 1984
- Making prolog more expressiveThe Journal of Logic Programming, 1984
- Foundations of Logic ProgrammingPublished by Springer Nature ,1984
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982
- Multiple-Conclusion LogicPublished by Cambridge University Press (CUP) ,1978
- Linear resolution with selection functionArtificial Intelligence, 1972
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965
- Untersuchungen ber das logische Schlie en. IMathematische Zeitschrift, 1935