An LMA-Based Theorem Prover
Description:
We describe here a theorem prover constructed from the facilities provided by Logic Machine Architecture (LMA). This program is not part of LMA itself, but illustrates the level of inference-based system which can be constructed from the LMA package of tools. It is a clause-based theorem prover supporting a wide variety of techniques which have proven valuable over the years in a long-running automated deduction research project. In addition, it is designed to present a convenient, interactive …
more
Date:
December 1982
Creator:
Lusk, Ewing L. & Overbeek, Ross A.
Item Type:
Refine your search to only
Report