Common Lisp port of Doug Lenat's EURISKO - View it on GitHub