Which dialect of LISP is 'Paradigms of Artificial Intelligence Programming' written in?

Question

What version/dialect/implementation of LISP is this meant to run on?

(I do understand that the book is written in Common LISP (as specified in the introduction) and that it predates the 1994 CL standard).

---

Split question into two to make it clearer.

Answer 1

Those aren't functions. Those are variable bindings. Not everything that appears as the first thing in a form is the name of a function; the enclosing form may introduce special meaning to internal forms. That's the case with e.g. let:

(let ((action 42)
      (result 51))
  (+ action result))

Neither action nor result names a function in that example.