Project for the 2013/2014 winter session of Procedural and logic programming