Fork of http://common-lisp.net/project/cl-kanren-trs/