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 ↑

HCPRVR(ID:903/hcp001)

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
References:
  • 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