Los desarrolladores del juego MiniDT de le empresa Corneta S.A. nos han contratado para implementar el ya clásico juego en el que todos pueden armar su equipo y  convertirse en su DT. 

El objetivo es modelar ciertas partes del juego utilizando las herramientas del paradigma lógico. Su funcionalidad principal consiste en que a partir de los jugadores seleccionados  por cada participante para su equipo y teniendo en cuenta las calificaciones que se le da a cada jugador fecha a fecha, se trata de obtener cuáles son los equipos con mejores desempeños y en consecuencia, los participantes ganadores.