| Version | 1.4.3 |
|---|---|
| Éditeur | Daniel Diaz |
| Date de sortie | 8 avr. 2013 |
| Date ajoutée | 8 avr. 2013 |
| Exigences OS | Windows, Windows 7 |
| Exigences | None |
| Total téléchargements | 1 943 |
| Prix | Free |
La description
GNU Prolog est un compilateur Prolog gratuit avec résolution de contraintes sur des domaines finis. GNU Prolog accepte Prolog avec des programmes de contraintes et produit des binaires natifs (comme le fait gcc à partir d'une source C). L'exécutable obtenu est alors autonome. La taille de cet exécutable peut être petite car GNU Prolog peut éviter de lier le code de la plupart des prédicats intégrés inutilisés. Les performances de GNU Prolog sont très encourageantes (comparables aux systèmes commerciaux). Outre la compilation de code natif, GNU Prolog propose un interpréteur classique (de haut niveau) avec un débogueur.
La partie Prolog est conforme à la norme ISO pour Prolog avec de nombreuses extensions très utiles en pratique (variables globales, interface OS et sockets). GNU Prolog inclut également un solveur de contraintes efficace sur les domaines finis (FD). Cela ouvre la programmation logique par contraintes à l'utilisateur en combinant la puissance de la programmation par contraintes à la déclarativité de la programmation logique. Les fonctionnalités incluent la conformité à la norme ISO pour Prolog, une fonction d'édition de ligne sous l'interpréteur interactif avec complétion sur les atomes, une interface bidirectionnelle entre Prolog et C, un compilateur de code natif produisant des exécutables autonomes, un compilateur de ligne de commande simple acceptant une variété de fichiers, prédéfini contraintes : contraintes arithmétiques, contraintes booléennes, contraintes symboliques et contraintes réifiées, heuristiques d'énumération prédéfinies, et l'utilisateur peut définir ses propres nouvelles contraintes.
