Correct, although I would assert Prolog shares many concepts with Lisp.