Basic Prolog functionality for Common Lisp - View it on GitHub