ATP
A naive automated theorem prover in Common Lisp
This is originally a school assignment of UNSW's course: COMP 4418 (Knowledge Representation and Reasoning)
Note
Please do not copy this while doing your school assignment
Author
Z.Shang
License
GPLv3+