CLP (FD), qui signifie la programmation de la logique de contrainte sur des domaines finis, implémente l'arithmétique entier déclaratif dans les systèmes Prolog. Il s'agit d'un remplacement pur et général des prédicats arithmétiques de niveau inférieur et vous permet de résoudre efficacement des problèmes combinatoires tels que des tâches de planification, de planification et d'allocation.
Comment écrire correctement l'effet axiome pour vide (B, T) -Action à l'aide du prédicat contient (B, L, T) Le prédicat évalue true, si le godet B contient des l ...