The Tell-Ask interface, where appropriate, is an even easier way to interface with SNePS from Common Lisp programs than is the with-snepsul reader macro.
(tell
&rest strings)
strings must be valid SNePSLOG inputs. (See
Chapter 7.) Tell gives each string to
the SNePSLOG interpreter; prints what SNePSLOG would print; and
returns NIL.
(ask
string &key verbose)
(askifnot string &key verbose)
(askwh string &key verbose)
(askwhnot string &key verbose)
string must be a valid SNePSLOG input.
These functions all give string to the SNePSLOG interpreter
(See Chapter 7.),
and return what the SNePSUL interpreter would if given the SNePSUL
version of the string.
However,
ask uses deducetrue ,
askifnot uses deducefalse ,
askwh uses deducewh , and
askwhnot uses deducewhnot .
If :verbose is T, the functions print the results as well as
returning them.