Prolog

SWI-Prolog

Instalación y configuración.

CLPFD

Restricciones.

Estrategias utilizadas

• all_distinct
• reificación
• etc.