WIP, not much functionality yet.
Evaluate and prove arguments in different formal logics.
Completely rewritten Common Lisp port of Logicky. Mostly just to practice Common Lisp.
Tested on SBCL 2.2.4 and CCL 1.12.1.
Full reference manual (incl. internal symbols)
Run from sources:
make run
# defaults to 'sbcl --load run.lisp'
Choose an alternative lisp (default is sbcl):
LISP=ccl make run
Or build and run the binary:
$ make build
$ ./logicky-lisp