scientific article; zbMATH DE number 3986671

zbMATH Open0609.68065MaRDI QIDQ3750142FDOQ3750142

Authors: Mark E. Stickel 

Publication date: 1986

Title of this publication is not available (Why is that?)

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)

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)

Cited In (14)

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

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)