Learn More
Introducing Iteration into the Pure LISP Theorem Prover J. Strother Moore CSL-74-3 Xerox PARC 3333 Coyote Hill Road Palo Alto, Ca. 9430~ It is shown how the LISP iterative primitives PROG, SETQ, GO,(More)