GNU Prolog

Le Prolog (PROgrammation en LOGique) est un des meilleurs langages de Programmation Logique avec Contraintes (PLC). Il ne lui manquait plus qu’un compilateur libre, c’est maintenant chose faite avec GNU Prolog développé par Daniel Diaz de l’INRIA (Institut National de Recherche en Informatique et en Automatique).

Le Prolog est un langage "déclaratif", contrairement à la plupart des langages comme le C dits "procéduraux".

Il est utilisé dans des domaines comme :

analyse de langages (informatiques ou naturels)
mathématique
bases de données
Intelligence Artificielle
...

Mais cette liste n’est pas exhaustive.

Je ne vais pas rentrer ici dans le détail de la syntaxe de ce langage, j’en serais d’ailleurs incapable et il existe de très bon cours en français sur Internet à ce sujet (Google est votre ami !).

Parlons plutôt de ce compilateur, GNU Prolog. Il existe sur presque toutes les plate-formes (Linux / Mac / Solaris / Windows...), est léger, rapide bref parfait ? Non pas tout à fait en fait, son seul défaut est que bien que réalisé par l’INRIA il n’existe qu’en anglais, ainsi que son site officiel.

A part ça je le conseille à tous ceux qui désirent un outil performant (et libre bien sûr) pour faire de la PLC !

Site officiel et téléchargement

Tags: salut
Ajouter des tags (séparés par des virgules ou des espaces) : Attention: tous les caractères spéciaux sont interdits (sauf le .). Les tags n'apparaîtront qu'au prochain rafraichissement du cache (dans plusieurs heures).

<< Mettre à jour >>
:: lien mort :: orthographe :: nouveauté :: mise à jour ::

Vous souhaitez mettre à jour la notice ? La première chose à faire est de déterminer s'il s'agit d'une mise à jour mineure ou d'une mise à jour majeure .

Mineure : un lien mort, des fautes d'orthographe, un lien à ajouter ou encore une petite précision.

Veuillez renseigner les champs ci dessous :

Votre nom ou pseudo

Paragraphe

Type de modification

Les modifications à apporter*
Majeure : une nouvelle version avec des nouveautés, des changements majeurs.

En cochant cette case, vous allez créer une page sur le wiki afin de mettre à jour la notice.

Mettre la notice de GNU Prolog sur le wiki

<< Poster un message >>
:: question :: précision :: avis :: commentaire :: bug ::

GNU Prolog-generer un executable windows , le 17 décembre 2015 par abessoloclaude (0 rép.)

j’ai le code suivant en gnu-prolog :

Vars=[C1,C2,C3,C4,L1,L2,L3,L4], fd_domain(Vars,1,4), fd_all_different([L1,L2,L3,L4]), fd_all_different([C1,C2,C3,C4]), C1+L1#\=C2+L2, C1+L1#\=C3+L3, C1+L1#\=C4+L4, C2+L2#\=C3+L3, C2+L2#\=C4+L4 ,C4+L4#\=C3+L3, C1-L1#\=C2-L2, C1-L1#\=C3-L3, C1-L1#\=C4-L4, C2-L2#\=C3-L3, C2-L2#\=C4-L4 ,C4-L4#\=C3-L3, fd_labeling(Vars,[backtracks(2)]).

cest un probleme de satisfaction de contrainte. le nom de ce code est : xxx.pro je souhaiterais generer un executable windows pour ce code. comment faire pour cela ?

Répondre à ce message

eclipse prolog et tcl/tk , le 10 mai 2006 par sernin (0 rép.)

bonjour, j’ai un prog eclipse et un prog tcl/tk pour l’interface ! je voudrai lier ces 2 programmes avec echanges de données ! quelqu’un saurait il comment faire ?

merci

Répondre à ce message

> GNU Prolog , le 18 mai 2005 (0 rép.)

compiler sous linux un fichier prolog

Répondre à ce message

Faire un don ? (défiscalisé)

Aidez-nous à atteindre notre objectif de 1080 donateurs récurrents pour assurer notre pérennité et notre développement !

Je soutiens Framasoft
pour 10€/mois

Autres logiciels

Dégooglisons Internet, l’an 2

Les services en ligne de géants tentaculaires comme Google, Apple, Facebook, Amazon ou Microsoft (GAFAM) mettent en danger nos vies numériques.

Pour cette 2e année, nous continuons le défi de vous proposer une alternative Libre, Éthique, Décentralisée et Solidaire à chacun de ces services.

Découvrez notre campagne
« Dégooglisons Internet »