Programmation Logique par Contraintes - IRIF

Cours Contraintes. 22. Le problème de l'arithmétique en programmation logique(1). Le prédicat =/2 n'évalue pas ses arguments et le prédicat ...

1) L'ensemble C des contraintes de P est comme suit : C={c1 : X2 ...