Téléchargements
Avertissement important
|
Prolog II introduit dans la programmation en logique la notion de résolution de contraintes (d'égalité ou de non-égalité) dans la théorie des arbres rationnels. Télécharger le manuel Télécharger le logiciel |
Intégrant au langage 3 nouveaux solveurs (sur les listes, les booléens et les nombres rationnels), Prolog III permet notamment une résolution exacte des contraintes numériques exprimées en algèbre linéaire à l'aide des relations =, ≠ et ≤. Télécharger le manuel Télécharger le logiciel |
Prolog IV offre une bibliothèque de plus d'une centaine de contraintes sur les listes, les booléens, les entiers et les réels
(encadrés par deux flottants, à l'intérieur d'un intervalle qui sert de domaine de définition aux variables). Télécharger le manuel Télécharger le logiciel |
