Exercise 6


Play with tableau style prover for FOL.

Learning Objectives

Getting Started

Code is here. You will be modifying the file Tableau.hs, but you will need all the files in the directory.

Study the lecture notes and pay particular attention to the sections on closing a tableau.

What to do

Back to the class web-page.