College project for Logic Programming. Consists on using restriction logic for solving a puzzle named Izzy.