> What is usually implemented in Lisp textbooks, is not Prolog When a Lisp textbook says it implements Prolog, it implements it with unification. See for examp

> What is usually implemented in Lisp textbooks, is not Prolog When a Lisp textbook says it implements Prolog, it implements it with unification. See for example Paradigms of AI Programming, by Peter Norvig - the chapters on implementing a Prolog compiler...