prolog-Natural-Deduction

Proof checking natural deduction using prolog

The tests folder was provided in the course DD1351

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
tests		tests
README.md		README.md
proofcheck.pl		proofcheck.pl

Provide feedback