GNU Prolog (32 bits) Acceptez Prolog avec des contraintes et compiler sur des domaines finis.
Télécharger maintenant

GNU Prolog (32 bits) Classement & Résumé

GNU Prolog (32 bits) Mots clés

GNU Prolog (32 bits) La description

GNU Prolog est un compilateur de prologs gratuit avec une contrainte résolvant les domaines finis. GNU Prologge accepte Prolog avec des programmes de contraintes et produit des binaires natifs (comme GCC fait de la source C). L'exécutable obtenu est ensuite autonome. La taille de cet exécutable peut être petite depuis que GNU Prolog peut éviter de relier le code des prédicats intégrés les plus inutilisés. Les performances de GNU Prolog sont très encourageantes (comparables aux systèmes commerciaux). À côté de la compilation de code natif, GNU Prolog propose un interprète classique (niveau 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 sockets). GNU PROG comprend également un solveur de contraintes efficace sur les domaines finis (FD). Cela ouvre une programmation logique de contrainte à l'utilisateur combinant la puissance de la programmation de contraintes à la déclaration de programmation logique. Les fonctionnalités incluent la conformité à la norme ISO pour PROG, la fonction d'édition de ligne sous l'interprète interactif avec l'achèvement des atomes, une interface bidirectionnelle entre PROG et C, compilateur de code natif produisant autonome Stand seul exécutables, compilateur de ligne de commande simple acceptant une variété de fichiers, prédéfinies Contraintes: contraintes arithmétiques, contraintes booléennes, contraintes symboliques et contraintes de rédaction, heuristique énumération prédéfinie et utilisateurs peuvent définir ses nouvelles contraintes.

GNU Prolog (32 bits) Logiciels associés