Ergo 6: A Generic Proof Engine that Uses Prolog Proof Technology.

Mark Utting Peter J. Robinson Ray Nickson

Published in: LMS J. Comput. Math. (2002)

Keyphrases

theorem proving
theorem prover
automated theorem proving
programming language
proof planning
case study
knowledge base
neural network
search algorithm
expert systems
information technology
data sets
domain specific
computer systems
rapid development
database systems
linear logic