A Prolog Technology Theorem Prover: A New Exposition and Implementation in Prolog.
Mark E. StickelPublished in: Theor. Comput. Sci. (1992)
Keyphrases
- theorem prover
- theorem proving
- logic programming
- prolog programs
- term rewriting
- automated theorem proving
- first order logic
- functional programming
- programming language
- automated reasoning
- knowledge representation
- inference rules
- logic programming language
- expert systems
- abstract machine
- formal proof
- future development
- formal semantics
- computer systems
- logic programs
- computer algebra
- case study
- data mining
- constraint logic programming
- search space
- boolean algebra
- artificial intelligence
- learning algorithm
- proof planning
- machine learning
- mathematical knowledge