Proyecto ABP realizado para la asignatura Razonamiento Automático de la Universidad de Alicante