Tutoriel par Examples: clp

Les contraintes CLP (FD) ( domaines finis ) implémentent l'arithmétique sur les entiers . Ils sont disponibles dans toutes les implémentations sérieuses de Prolog. Il existe deux cas d'utilisation majeurs de contraintes CLP (FD): Arithmétique entière déclarative Résoudre des problèmes co...

Les contraintes CLP (FD) sont fournies par toutes les implémentations sérieuses de Prolog. Ils nous permettent de raisonner sur des entiers de manière pure. ?- X #= 1 + 2. X = 3. ?- 5 #= Y + 2. Y = 3.

CLP (Q) implémente le raisonnement sur des nombres rationnels . Exemple: ?- { 5/6 = X/2 + 1/3 }. X = 1.

Prolog lui-même peut être considéré comme CLP (H) : programmation par contraintes logiques sur les termes de Herbrand . Dans cette perspective, un programme Prolog affiche des contraintes sur les termes . Par exemple: ?- X = f(Y), Y = a. X = f(a), Y = a.

Les contraintes CLP (FD) sont des relations complètement pures. Ils peuvent être utilisés dans toutes les directions pour l'arithmétique entière déclarative: ?- X #= 1+2. X = 3. ?- 3 #= Y+2. Y = 1.

Traditionnellement, Prolog exécute l'arithmétique à l'aide des opérateurs is et =:= . Cependant, plusieurs Prologs actuels offrent CLP (FD) (Programmation par Logique de Contrainte sur Domaines Finis) comme alternative plus propre à l'arithmétique entière. CLP (FD) est basé sur le stock...