resolution-theorem-prover


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