The commands in this section move the user between the SNePSUL evaluator and the COMMON LISP evaluator. Although every SNePSUL function is a COMMON LISP function, the SNePSUL loop provides certain special facilities, so it is best to be in the proper top-level loop for extended work.
(sneps
)
Lisp function that brings the user into the SNePS read-eval-print loop.
(lisp
)
SNePSUL function that returns the user to the Lisp evaluator.
SNePSUL command that causes the next form to be evaluated by Lisp.
^^
SNePSUL command that puts the user into an embedded Lisp read-eval-print
loop until the next occurrence of the form ^^, whereupon the user is
returned to the SNePSUL loop.