Theory of logic programming. An elementary introduction
From MaRDI portal
Recommendations
- Graph-based proof procedures for horn clauses
- scientific article; zbMATH DE number 1090102
- A semantics for Prolog
- Higher-order Horn clauses
- scientific article; zbMATH DE number 1292286
- A formal grammatical model of the resolution method for the propositional calculus
- Modelling the combination of functional and logic programming languages
- Language generation and recognition over terms
- A kripke-kleene semantics for logic programs*
- scientific article; zbMATH DE number 53085
Cited in
(3)
This page was built for publication: Theory of logic programming. An elementary introduction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1202019)