GNU Prolog (64-bit) 1.4.3

GNU Prolog (64 bits) est un compilateur Prolog puissant et gratuit qui offre une résolution de contraintes sur des domaines finis. Ce logiciel est conçu pour les développeurs qui ont besoin de créer facilement des programmes complexes. GNU Prolog accepte Prolog avec des programmes de contraintes et produit des binaires natifs, ce qui le rend autonome et efficace.

L'un des avantages les plus significatifs de GNU Prolog est sa capacité à éviter de lier le code de la plupart des prédicats intégrés inutilisés, ce qui entraîne des tailles d'exécutables plus petites. 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. L'interpréteur fournit une fonction d'édition de ligne en mode interactif avec complétion sur les atomes, ce qui permet aux développeurs de déboguer facilement leur code.

Le logiciel est conforme à la norme ISO pour Prolog avec de nombreuses extensions très utiles dans la pratique telles que les variables globales, l'interface OS et les sockets. Cela permet aux développeurs de créer plus facilement des programmes complexes qui peuvent interagir de manière transparente avec d'autres systèmes.

GNU Prolog inclut également un solveur de contraintes efficace sur les domaines finis (FD). Cela ouvre la programmation logique par contraintes aux utilisateurs en combinant la puissance de la programmation par contraintes avec la déclarativité de la programmation logique. Grâce à cette fonctionnalité, les utilisateurs peuvent définir facilement leurs contraintes sans se soucier des erreurs de syntaxe ou d'autres problèmes.

Les contraintes prédéfinies comprennent des contraintes arithmétiques telles que l'addition et la soustraction ; Contraintes booléennes comme AND/OR ; contraintes symboliques telles que la correspondance de chaînes ; contraintes réifiées qui vous permettent d'exprimer des conditions logiques à l'aide d'opérateurs booléens ; des heuristiques d'énumération prédéfinies qui vous aident à trouver rapidement des solutions en explorant systématiquement différentes possibilités.

Les utilisateurs peuvent également définir leurs propres nouvelles contraintes à l'aide de commandes simples fournies par le compilateur en ligne de commande du prologue GNU acceptant une variété de fichiers. Cela facilite la tâche des développeurs qui souhaitent plus de contrôle sur le comportement de leur programme ou qui ont besoin de fonctionnalités spécifiques non disponibles dans les bibliothèques prédéfinies.

En résumé, si vous recherchez un outil puissant mais gratuit qui vous permet de créer facilement des programmes complexes tout en se conformant strictement aux normes de l'industrie, ne cherchez pas plus loin que le prologue GNU !