Proposer un logiciel - Nous contacter - Nous soutenir - Recevoir la Newsletter du site

Télécharger Gnu prolog pour Linux, Mac et Windows

Langue : langue
Taille : 3.1M0><4.2Mo
Licence : GNU
OS : Linux Mac Windows(.../7/8/10)
Editeur : Daniel Diaz
Téléchargé : 4241 fois
Note :



Description du logiciel :


Gnu-Prolog est un compilateur CLP(FD) .

A côté de la production de binaires natifs, Gnu-Prolog offre un interpréteur interactif classique (top-level) avec un déboggeur.

La partie Prolog de Gnu-Prolog est conforme au standard ISO.

Il offre également des extensions comme les variables globales, l'interface avec le système sous-jacent, les sockets, etc.

Gnu-Prolog renferme un intéressant solveur de contraintes sur les domaines finis.

Attention, utilisateur Linux, vous devez télécharger le code source et le compilé.

Une erreur? Le lien de téléchargement est brisé?
erreur



Réclames publicitaires :
Bonjour, nous avons détecté que vous utilisez un Adblockeur.
Un Adblockeur est un logiciel ou une extension pour votre navigateur qui bloque les publicités pour ne pas déranger. Votre navigation est ainsi plus agréable, mais ce genre d'outils est extrêmement néfaste pour les créateurs de sites internet. Nous essayons de vous proposer des contenus de qualité, alors merci de jouer le jeu pour nous permettre d'obtenir des revenus avec la publicité ce qui est très important pour notre activité.
Merci donc de désactiver votre Adblockeur ou de mettre le site en liste blanche.