HCPRVR

"HCPRVR: An Interpreter for Logic Programs", D. Chester in Proceedings of the First National Conference on AI, Stanford University, 1980.