1996 : Prolog IV
l'approximation des contraintes non-linéaires

Prolog IV offre un cadre rigoureux pour exprimer et résoudre en logique des problèmes d'une encore plus grande diversité, en proposant, à côté des méthodes exactes, des méthodes approchées.

Prolog IV généralise aux domaines discrets et continus la technique de résolution de contraintes par réduction et propagation d'intervalles. La résolution d'une contrainte élémentaire, souvent qualifiée de locale, consiste à réduire au mieux ces domaines, lesquels sont généralement des intervalles. La résolution d'un système où de nombreuses contraintes intéragissent s'effectue itérativement, jusqu'à aboutir à un point fixe.

"Au prix d'un moteur dix fois plus gros que celui de Prolog II, Prolog IV traite un vaste jeu de contraintes, allant des contraintes sur les listes et les arbres aux contraintes numériques, en passant par les contraintes traitées par réduction des intervalles de valeur, s'appliquant aussi bien aux réels qu'aux entiers voire aux booléens."

Téléchargements

---