On lisp prolog