The project page provides the source code, which is distributed under the terms of the GPL. SNePS is known to run on a number of Lisp implementations including CLISP and CMUCL. Its GUI is based on Garnet.
Knowledge Representation Systems
The project page provides the source code, which is distributed under the terms of the GPL. SNePS is known to run on a number of Lisp implementations including CLISP and CMUCL. Its GUI is based on Garnet.