HCPRVR(ID:903/hcp001)

Horn clause prover  


HCPRVR - a Horn clause theorem prover implemented in LISP


Related languages
Prolog => HCPRVR   Implementation
HCPRVR => Common LISP   Written using

References:
  • HCPRVR: An Interpreter for Logic Programs, D. Chester in Proc First Natl Conf on AI, Stanford, 1980. view details