cl-model-languages /cl-prolog2Common Lisp392Common Interface to ISO Prolog implementations from Common Lisp