scientific article; zbMATH DE number 1497833

MaRDI QIDQ4499256zbMATH OpenFDO

Authors Paul Tarau

Publication date 6 March 2001

zbMATH Keywords

Horn Clause Prolog

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 4160108
• Near-Horn prolog and beyond
• scientific article; zbMATH DE number 3992920
• Horn clause queries and generalizations
• Non-Horn clause logic programming
• Higher-order Horn clauses
• Probabilistic Horn clause verification
• scientific article; zbMATH DE number 764342

Cited in

(2)

• scientific article; zbMATH DE number 1974021 (Why is no real title available?)
• Multi-threading and message communication in Qu-Prolog

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4499256)