My project for the Computational Logic class, year 2014