Theory of logic programming. An elementary introduction

MaRDI QIDQ1202019zbMATH OpenFDO

Authors Peter H. Schmitt

Publication date 23 January 1993

Published in Springer-Lehrbuch (Search for Journal in Brave)

zbMATH Keywords

Horn clause logic3-valued logic

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Artificial intelligence (68T99) Logic programming (68N17)

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)

• scientific article; zbMATH DE number 559187 (Why is no real title available?)
• scientific article; zbMATH DE number 970832 (Why is no real title available?)
• scientific article; zbMATH DE number 708499 (Why is no real title available?)

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)