Prolog and Lisp