Objective

Make an implementation in Prolog or Java of (part of) the simplification algorithm described during the course; test it on more complicated examples than those we used in the course. It will end up being a non-trivial piece of code and you should keep contact with one of the teachers to get some advice while working with this assignment. Subsumption is probably the most difficult part and could be left as an option if the group consists of only one person.