A comparison of three PROLOG extensions

DOI10.1016/0743-1066(92)90038-5MaRDI QIDQ3992235zbMATH OpenOpenAlexFDO

Authors David Reed, Donald W. Loveland

Publication date 13 August 1992

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0743-1066(92)90038-5

zbMATH Keywords

case analysis\(N\)-PROLOGnear-Horn PROLOGnon-Horn reasoningsimplified problem reduction format

Mathematics Subject Classification ID

Artificial intelligence (68T99) Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 3992919
• scientific article; zbMATH DE number 1808302
• A constructive view of PROLOG
• Comparative semantics for prolog with cut
• scientific article; zbMATH DE number 764342
• scientific article; zbMATH DE number 3846832
• On the implementation of GNU Prolog
• Near-Horn prolog and beyond
• scientific article; zbMATH DE number 572196

Cited in

(5)

• Model elimination without contrapositives
• Near-Horn Prolog and the ancestry family of procedures
• Non-Horn clause logic programming
• Renaming a set of non-Horn clauses
• TMPR: A tree-structured modified problem reduction proof procedure and its extension to three-valued logic

This page was built for publication: A comparison of three PROLOG extensions

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