Nuestro modelo contempla los siguientes elementos:
- Equipos: Representamos los equipos como átomos: chivas, monterrey, cruzAzul, etc.
- Partidos: Los partidos se representan con una función: partido(Equipo1, Equipo2) es el partido donde Equipo1 juega de local contra Equipo2. De esto se desprende que partido(X,Y) es distinto de partido(Y, X).
- Fechas: Una fecha se describe con la estructura fecha(N, Ps), donde N indica el número de fecha (comienzan a numerarse a partir de 1) y Ps es una lista de partidos. Esta lista representa en realidad un conjunto, con lo cual no debe tener duplicados, y las distintas permutaciones son consideradas equivalentes.
- Torneos: Representamos un torneo con una lista de fechas, donde los números de fecha comienzan en 1 y crecen sin repetirse. Nosotros consideraremos únicamente torneos de todos contra todos, donde los equipos juegan exactamente una vez en cada fecha (no hay fechas libres ni pueden jugar más de una vez). Por lo tanto, todas las fechas de un torneo tendrán la misma cantidad de partidos.
- Árbitros: Representamos los árbitros como átomos: elizondo, gimenez, pezzota, etc.
