GNU Prolog est un compilateur Prolog gratuit avec résolution de contraintes sur les domaines finis. GNU Prolog Prolog accepte des programmes de contraintes et produit binaires natifs (comme gcc fait à partir d'une source de C). L'exécutable obtenu est alors autonome. La taille de cet exécutable peut être petite puisque GNU Prolog peut éviter de lier le code de prédicats intégrés dans la plupart inutilisés. Les performances de GNU Prolog sont très encourageants (comparable aux systèmes commerciaux). A côté de la code natif compilation, GNU Prolog offre un interprète 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 dans la pratique (variables globales, interface OS, et les prises). GNU Prolog comprend également une contrainte efficace solveur sur Domaines Finis (FD). Cela ouvre la programmation logique contrainte à l'utilisateur combinant la puissance de la programmation par contraintes à l'déclarativité de la programmation logique. Les caractéristiques comprennent conforme à la norme ISO pour Prolog, l'édition de ligne installation sous l'interpréteur interactif avec l'achèvement sur les atomes, interface bidirectionnelle entre Prolog et C, code natif compilateur production se exécutables autonomes, simple compilateur de ligne de commande d'accepter une variété de fichiers, prédéfini contraintes:. contraintes arithmétiques, les contraintes booléennes, les contraintes symboliques et les contraintes réifiées, heuristiques de dénombrement prédéfinis, et l'utilisateur peut définir ses propres nouvelles contraintes
Commentaires non trouvées