Extensions to logic programming motivated by the construction of a generic theorem prover

DOI10.1007/BFB0038696MaRDI QIDQ5053009zbMATH OpenFDO

Authors Elsa Gunter

Publication date 26 November 2022

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

Mathematics Subject Classification ID

Logic programming (68N17) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• Extensions of logic programming. International workshop, Tübingen, FRG, 8--10 December 1989. Proceedings
• A logical analysis of modules in logic programming
• Scoping constructs in logic programming: Implementation problems and their solution
• A Prolog technology theorem prover: A new exposition and implementation in Prolog
• A Proof-Theoretic Approach to Logic Programming

Cited in

(6)

• A Prolog technology theorem prover: Implementation by an extended Prolog compiler
• scientific article; zbMATH DE number 1479612 (Why is no real title available?)
• scientific article; zbMATH DE number 1809864 (Why is no real title available?)
• scientific article; zbMATH DE number 1482189 (Why is no real title available?)
• Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages
• scientific article; zbMATH DE number 1200168 (Why is no real title available?)

This page was built for publication: Extensions to logic programming motivated by the construction of a generic theorem prover

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