resolution-theorem-prover-20180405


  • A resolution theorem prover written in Lisp for UMaine's COS470: Artificial Intelligence course.