Laboratoire 9
Nombres triangulaires Un nombre triangulaire peut se calculer avec la formule suivante :
\(T(n) = \dfrac{n(n+1)}{2}\)
Écrire une relation triangular(N, T) en utilisant is pour l’évaluation mathématique.
Essayer les deux requêtes suivantes :
?- triangular(3, T). ?- triangular(N, 3). Quel est le problème ?
Redéfinir cette relation en utilisant les contraintes de la bibliothèque clpfd et réessayer.
Knights and Knaves Sur une île étrange, vous rencontrez trois habitants : A, B, et C.