GNU Prolog Compilateur de prologs gratuit avec la résolution de contraintes sur les domaines finis
Télécharger maintenant

GNU Prolog Classement & Résumé

GNU Prolog Mots clés

GNU Prolog La description

GNU Prolog est un compilateur de prologs gratuit avec une contrainte résolvant les domaines finis. GNU PROG accepte les programmes de contraintes de PRAGolog et produit des binaires natifs (comme GCC le fait d'une source C). L'exécutable obtenu est ensuite autonome. La taille de cet exécutable peut être assez petite car GNU Prolog peut éviter de relier le code des prédicats intégrés les plus inutilisés. Les performances de GNU Prologs sont très encourageantes. Outre la compilation de code natif, GNU Prolog propose un interprète interactif classique (niveau supérieur) avec un débogueur. La partie Prolog est conforme à la norme ISO pour Prolog avec de nombreuses extensions très utiles dans la pratique. GNU PROG comprend également un solveur de contraintes efficace sur les domaines finis (FD). Cela ouvre une programmation logique contraint de l'utilisateur combinant la puissance de la programmation de contraintes à la déclaration de la programmation logique.

GNU Prolog Logiciels associés