LMA-based theorem prover
Technical Report
·
OSTI ID:6518800
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 interface to its user which includes a number of useful utility commands.
- Research Organization:
- Argonne National Lab., IL (USA)
- DOE Contract Number:
- W-31109-ENG-38
- OSTI ID:
- 6518800
- Report Number(s):
- ANL-82-75; ON: DE83005945
- Country of Publication:
- United States
- Language:
- English
Similar Records
Automated reasoning system ITP
Logic Machine Architecture inference mechanisms: Layer 2 user reference manual
Logic Machine Architecture inference mechanisms: layer 2 user reference manual release 2. 0
Technical Report
·
Sat Mar 31 23:00:00 EST 1984
·
OSTI ID:6997998
Logic Machine Architecture inference mechanisms: Layer 2 user reference manual
Technical Report
·
Tue Nov 30 23:00:00 EST 1982
·
OSTI ID:6228869
Logic Machine Architecture inference mechanisms: layer 2 user reference manual release 2. 0
Technical Report
·
Sat Mar 31 23:00:00 EST 1984
·
OSTI ID:6821487