... and then implement Prolog in Lisp so you can write Prolog on your Lisp code as well (this has been done many times)
... and then implement Prolog in Lisp so you can write Prolog on your Lisp code as well (this has been done many times)