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

DOI10.1007/BFB0038696zbMATH Open1502.68066MaRDI QIDQ5053009FDOQ5053009

Authors: Elsa Gunter 

Publication date: 26 November 2022

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

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

Mathematics Subject Classification ID

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

Cited In (6)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages
• Title not available (Why is that?)
• A Prolog technology theorem prover: Implementation by an extended Prolog compiler
• Title not available (Why is that?)

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)