"HCPRVR: An Interpreter for Logic Programs", D. Chester in Proc First Natl Conf on AI, Stanford, 1980.
Try this search on Wikipedia, OneLook, Google
