This package provides a bridge between SWI Prolog and common lisp. It allows for evaluating arbitrary Prolog queries in common lisp programs, and the implementation of predicates in lisp.
designators is ...
