scientific article; zbMATH DE number 3986671
From MaRDI portal
Publication:3750142
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)
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)