basic Prolog functionality for Common Lisp cloned from https://code.google.com/p/cl-gambol/