The SNePS User Language is a relatively low-level Lisp-like language
for interacting with SNePS.
SNePSLOG is a logic-programming-like language for interacting with
SNePS. It looks like second-order symbolic logic with the addition of
the SNePS connectives and quantifiers.
Uses the grammar and lexicon that is distributed with SNePS as a
small example of using SNaLPS, the SNePS Natural Language Processing System.
(Cassie is not distributed as part of SNePS.)
of Interactions with Cassie in English