SNePSLOG is a logic programming interface to SNePS. That is, everything that can be done interactively using SNePSUL can be done interactively using SNePSLOG, just with a different syntax.
To enter SNePSLOG, load SNePS and evaluate (snepslog) To leave SNePSLOG, execute the SNePSLOG command lisp
Once in SNePSLOG, the basic commands of assert, add, find and deduce are produced by typing a <wff> followed by the proper punctuation. The proper punctuation is:
The question mark terminating a deduce may optionally be followed by a list of one or two integers, (i) or (i j). If the list is omitted, then deduce continues until no more answers can be derived. If the list is (0), no inference is done--only answers already in the network are returned. If the list is (i), for a positive i, then deduction terminates as soon as possible after i positive answers have been found. Otherwise, the list must contain two non-negative integers, (npos nneg), and deduction terminates as soon as possible after at least npos positive and nneg negative instances are derived.
The rest of the details of SNePSLOG syntax is in the next section. The following section lists and describes other SNePSLOG commands.