A repository with prolog exercises and solutions