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:
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 ::

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

À la une !

Framabook "Atelier Drupal 7"

Collaborez en ligne avec Framapad.

Autres logiciels

Framasoft needs you !

Vous trouverez ici une liste de logiciels qui ont fait acte de candidature et qui n’attendent que vous pour réussir avec brio l’examen d’entrée dans notre annuaire.