GNU Prolog (32-bit) 1.4.3

GNU Prolog (32 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, tout comme gcc le fait à partir d'une source C. L'exécutable obtenu est alors autonome, ce qui signifie qu'il peut s'exécuter sur n'importe quel ordinateur sans avoir besoin de logiciels ou de bibliothèques supplémentaires.

L'un des avantages les plus significatifs de GNU Prolog est sa petite taille. Étant donné que ce logiciel peut éviter de lier le code de la plupart des prédicats intégrés inutilisés, la taille de l'exécutable peut être très petite. Cela le rend idéal pour les développeurs qui souhaitent créer des applications légères qui ne prennent pas trop de place sur les ordinateurs des utilisateurs.

Les performances de GNU Prolog sont également très encourageantes et comparables aux systèmes commerciaux. Cela signifie que vous pouvez compter sur ce logiciel pour fournir des résultats rapides et efficaces à chaque fois que vous l'utilisez.

Outre la compilation de code natif, GNU Prolog propose un interpréteur classique (de haut niveau) avec un débogueur. L'interpréteur vous permet de tester votre code de manière interactive et de déboguer tout problème qui survient pendant le développement.

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). Cela signifie que vous pouvez compter sur ce logiciel pour fournir des résultats fiables à chaque fois que vous l'utilisez.

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.

Caractéristiques:

- Conforme à la norme ISO pour le prologue

- Facilité d'édition de ligne sous interpréteur interactif avec complétion sur les atomes

- Interface bidirectionnelle entre prologue et C

- Compilateur de code natif produisant des exécutables autonomes

- Compilateur de ligne de commande simple acceptant divers fichiers

- Contraintes prédéfinies : contraintes arithmétiques, contraintes booléennes, contraintes symboliques, contraintes réifiées.

- Heuristique d'énumération prédéfinie.

- Nouvelles contraintes définies par l'utilisateur

En résumé:

Si vous recherchez un compilateur de prologue puissant mais gratuit avec résolution de contraintes sur des domaines finis, ne cherchez pas plus loin que le prologue GNU 32 bits ! Avec sa petite taille mais ses performances impressionnantes couplées à une interface utilisateur intuitive, ce programme est parfait non seulement pour les débutants mais aussi pour les programmeurs expérimentés !