GNU Prolog gratuite est un compilateur Prolog avec la résolution de contraintes sur les corps finis domaines développé par Daniel Diaz. GNU Prolog accepte le Prologue de la contrainte de programmes et produit des binaires natifs (comme gcc fait à partir d'un code source en C). L'exécutable obtenu est ensuite autonome.
La taille de cet exécutable peut être assez faible depuis GNU Prolog peut éviter de lier le code de la plupart des inutilisé intégré dans les prédicats. Les performances de GNU Prolog sont très encourageants (comparable à des systèmes commerciaux). À côté de l'natif de la compilation du code, GNU Prolog offre un classique interactive interprète (de haut niveau) avec un débogueur.
Le Prologue de la pièce est conforme à la norme ISO Prolog avec de nombreuses extensions très utiles dans la pratique (variables globales, interface OS, les sockets).GNU Prolog comprend également efficace d'un solveur de contraintes sur les corps Finis les Domaines (FD). Cela ouvre la contrainte de la logique de programmation de l'utilisateur en combinant la puissance de la programmation par contraintes pour la declarativity de la programmation logique.
Caractéristiques principales:
- Prolog système:
- conforme à la norme ISO Prolog (nombres à virgule flottante, les ruisseaux, les dynamiques de code).
- un grand nombre d'extensions: les variables globales, definite clause grammars (DCG), de prises d'interface, interface de système d'exploitation
- plus de 300 Prolog intégré dans les prédicats.
- Prolog débogueur et un faible niveau de WAM débogueur.
- l'édition de la ligne de l'unité de l'interactif interprète avec l'achèvement des travaux sur les atomes.
- puissante interface bidirectionnelle entre Prolog et C.
- Compilateur:
- le code natif compilateur produisant autonome exécutables.
- simple compilateur de ligne de commande, d'accepter une grande variété de fichiers: Prologue de fichiers, C fichiers, WAM fichiers,...
- génération directe de code assembleur 15 fois plus rapide que wamcc gcc.
- la plupart des inutilisé intégré dans les prédicats ne sont pas liés (pour réduire la taille des exécutables).
- compilé des prédicats (code natif) aussi vite que wamcc en moyenne.
- consulté prédicats (byte-code) 5 fois plus rapide que wamcc.
- Solveur de contraintes:
- FD variables bien intégrés dans le Prologue de l'environnement (compatibilité totale avec Prologue des variables et des nombres entiers). Pas besoin explicite FD déclarations.
- très efficace FD solveur (comparable à solveurs commerciaux).
- haut niveau de contraintes peut être décrite en termes de simples primitives.
- beaucoup de contraintes prédéfinies: arithmétique des contraintes, des contraintes booléennes, symbolique contraintes, réifiée contraintes,...
- plusieurs prédéfinis énumération des heuristiques.
- l'utilisateur peut définir ses propres contraintes nouvelles.
- plus de 50 FD intégré les contraintes/prédicats.
Commentaires