scientific article; zbMATH DE number 3986671

MaRDI QIDQ3750142zbMATHFDO

Authors Mark E. Stickel

Publication date 1986

zbMATH Keywords

first-order predicate calculusextended Prolog-to-Lisp compiler

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to computer science (68-04)

Recommendations

• A Prolog technology theorem prover: Implementation by an extended Prolog compiler
• A Prolog technology theorem prover: A new exposition and implementation in Prolog
• scientific article; zbMATH DE number 4053062
• An examination of the prolog technology theorem-prover
• The theoretical foundations of LPTP (a logic program theorem prover)

Cited in

(14)

• A Prolog technology theorem prover: Implementation by an extended Prolog compiler
• The BinProlog experience: architecture and implementation choices for continuation passing Prolog and first-class logic engines
• scientific article; zbMATH DE number 1614712 (Why is no real title available?)
• IMPLEMENTING COMPLEX DOMAINS OF APPLICATION IN AN EXTENDED PROLOG SYSTEM
• scientific article; zbMATH DE number 1552514 (Why is no real title available?)
• An examination of the prolog technology theorem-prover
• scientific article; zbMATH DE number 3965464 (Why is no real title available?)
• SETHEO: A high-performance theorem prover
• Parsing as non-Horn deduction
• Execution of logic programs by iterative-deepening A\(^*\) SLD-tree search
• A Prolog technology theorem prover: A new exposition and implementation in Prolog
• scientific article; zbMATH DE number 4094866 (Why is no real title available?)
• Case-free programs: An abstraction of definite horn programs
• Ergo 6: A Generic Proof Engine that Uses Prolog Proof Technology

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 Q3750142)