Tag: clpfd
CLP(FD), qui se tient pour la Programmation Logique par contraintes sur les corps Finis Domaines, met en œuvre déclarative de l’arithmétique entière dans le Prologue de systèmes. C’est un pur et remplacement général du niveau inférieur de l’arithmétique des prédicats et vous permet de résoudre efficacement les problèmes combinatoires tels que la planification, la programmation et la répartition des tâches.