Prolog exercises made for my subjects of Fundamentals of Artificial Inteligence and Knowledge Engineering at the University of Valladolid