University Project in Prolog