Individual practical assignment for the Knowledge Representation and Reasoning Systems curricular unit at University of Minho