On Lisp prolog