clpq

5La chaleur

2Répondre

SWI-Prolog et contraintes, bibliothèque CLP (FD)

Je joue avec des contraintes dans (swi) prolog en utilisant la bibliothèque clpfd. J'essaie d'identifier quand un ensemble de contraintes encapsule ou subsume l'autre, p. Ex. X < 4 encapsule X < 7 à c