H ? « »

Language peer sets for HCPRVR:
United States
United States/1980
Designed 1980
1980s languages
Fourth generation
Late Cold War
String and List Processing
String and List Processing/1980
String and List Processing/us


Horn clause prover  

alternate simple view
Country: United States
Designed 1980
Published: 1980
Sammet category: String and List Processing

HCPRVR - a Horn clause theorem prover implemented in LISP

Related languages
Prolog HCPRVR   Implementation
HCPRVR Common LISP   Written using

  • HCPRVR: An Interpreter for Logic Programs, D. (1980) HCPRVR: An Interpreter for Logic Programs, D. Chester in Proc First Natl Conf on AI, Stanford, 1980.
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder