GNU Prolog (32-bit)

Logiciel capture d'écran:
GNU Prolog (32-bit)
Détails logiciels:
Version: 1.4.3
Date de transfert: 23 Jan 15
Développeur: Daniel Diaz
Licence: Gratuit
Popularité: 229
Taille: 4592 Kb

Rating: 1.0/5 (Total Votes: 3)

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

Systèmes d'exploitation pris en charge

Logiciel similaire

RapidBATCH
RapidBATCH

25 Oct 15

install4j (64-bit)
install4j (64-bit)

21 Jan 15

BFC Automata
BFC Automata

29 Oct 15

D'autres logiciels de développeur Daniel Diaz

Commentaires à GNU Prolog (32-bit)

Commentaires non trouvées
Ajouter un commentaire
Tourner sur les images!