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

(1980)

Languages mentioned

  • HCPRVR {1980} Horn clause prover