Applicative Common Lisp / A Computational Logic
