GNU Prolog

Site officiel
Bookmark and Share

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 !

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 Icone d'aide.

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

    Veuillez renseigner les champs ci dessous :

  • 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.

Commentaires

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

Informations complémentaires

Faire un don ? (défiscalisé)

Faire un DON

Aidez-nous à atteindre notre objectif de 800 donateurs récurrents pour assurer notre pérennité et notre développement ! (nous n’y sommes plus très loin).

Je soutiens Framasoft pour 10€/mois

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.

Informations générales

Juste une image

Olympic Coast Olympic Coast
Creative Commons BY-SA

Sur Framabook.org

Atelier Drupal 7
« Atelier Drupal 7 » par Cyprien ROUDET.
Option Libre
« Option Libre. Du bon usage des licences libres » par Benjamin Jean.

Tous nos Framabooks