TÉLÉCHARGER GNU PROLOG

Petite présentation de PROLOG 0 présentation Prolog est un langage extraordinaire, pas tant par ses possibilités effectives, mais parce qu'il nous montre qu'il peut exister d'autres moyens de programmer un ordinateur. Prolog PROgrammation LOGique est né en France Marseille et a servi de base aux programmes de recherche japonais sur les ordinateurs de 5ème génération. Ce qui est phénoménal, c'est qu'en Prolog, il nous suffit de décrire ce que l'on sait sur le domaine étudié, en vrac, dans l'ordre où ça nous vient en Intelligence Artificielle, on appelle cela une base de connaissances. Puis on décrit notre problème, Prolog va nous le résoudre, sans qu'on n'ait à lui dire comment faire! Ce petit cours ne va pas détailler parfaitement tout le langage, il n'est prévu que pour vous montrer progressivement les possibilités de Prolog, et donc des possibilités de programmation qu'aucun langage classique n'aurait pu vous faire imaginer. Vous cherchez un Prolog?

Nom:gnu prolog
Format:Fichier D’archive
Système d’exploitation:Windows, Mac, Android, iOS
Licence:Usage Personnel Seulement
Taille:49.96 MBytes



Prédicats[ modifier modifier le code ] La programmation en Prolog est très différente de la programmation dans un langage impératif. En Prolog il s'agit d'un succès.

Cette recherche d'autres solutions repose sur un modèle d'exécution non-déterministe au sens du non-déterminisme des automates non-déterministes avec retour sur les différents points de choix et exploration des alternatives non explorées. Dans ce dernier exemple, à la question 'chat vim ' l'interpréteur répond qu'il ne peut pas prouver ce fait, en Prolog il s'agit d'un échec.

En faisant l'hypothèse que tous les faits sont connus hypothèse du monde clos , cela signifie que 'vim' n'est pas un chat. Les prédicats sont en général définis pour exprimer les faits que le programme connaît à propos du monde. Dans les deux cas, 'père' est la tête tandis que 'marie' et 'pierre' sont les arguments. En général, c'est plutôt l'auxiliaire 'être' qui est utilisé.

On conviendra par exemple que famille pierre, marie, [arthur, bruno, charlotte]. Donc write 'Bonjour'. De tels prédicats ne relèvent pas à proprement parler de la programmation logique, leur fonctionnalité reposant exclusivement sur leurs effets de bords. D'autres prédicats bâtis dans le langage sont de nature logique, et inclus dans des bibliothèques. Ils servent à simplifier le développement en encapsulant des traitements génériques, comme des algorithmes de traitement de listes par exemple.

Un fait est un cas particulier de règle. Il en résulte que la demande suivante est évaluée comme vraie:? Cela signifie que la demande peut être étendue à parent Z,sally , parent Z,erica. Faire correspondre cette conjonction est obtenu en regardant tous les parents possibles de sally. Cependant, parent trude,sally ne mène pas à une solution viable, parce que si trude est substitué pour Z, parent trude,erica devra être vrai, et aucun fait tel ou quelque règle qui puisse satisfaire cela n'est présent.

Négation par l'échec[ modifier modifier le code ] La négation logique pure n'existe pas en Prolog, on se repose sur la négation par l'échec , qui se note différemment suivant les implémentations de Prolog nous adopterons la notation par le mot-clé not prédicat. En négation par l'échec, la négation d'un prédicat est considérée comme vrai si l'évaluation du prédicat mène à l'échec n'est pas vérifiable.

Aussi en pratique, les implémentations de Prolog testeront d'abord la règle que vous avez écrite en premier. Si les règles sont mélangées, vous pouvez maintenant utiliser votre carte de crédit avant de dépenser votre argent disponible.

Ainsi, une base de faits du style famille Père, Mère, ListeDesEnfants pourra, moyennant quelques règles, répondre à diverses questions de généalogie.

Aspect linguistique[ modifier modifier le code ] Des traitements linguistiques sont possibles en Prolog sur la base de grammaires formelles. On peut de là utiliser Prolog en vue de la traduction automatique ou semi-automatique. Plus fréquemment, un analyseur simple permettra l'emploi de requêtes pseudo-naturelles pour l'interrogation des bases de données relationnelles.

Aspect combinatoire[ modifier modifier le code ] Des applications Prolog a priori intéressantes pouvaient avoir des temps d'exécution excessifs du fait de la combinatoire sous-jacente. Prolog et la programmation logique ont donné naissance à un courant de programmation combinant la plupart des spécificités de Prolog et les apports de la Programmation par contraintes pour aboutir avec Prolog IV à la Programmation Logique sous Contraintes PLC.

Cette approche est très efficace dans les problèmes combinatoires, notamment en CAO , en recherche opérationnelle et dans les jeux. Cependant, l'exploitation des règles peut s'accommoder d'un mode pipe-line, interruptible si nécessaire. Dès que Prolog trouve un musicien, il peut vérifier s'il est grec, auquel cas il s'agit d'une première réponse. De ce fait, la vérification de la nationalité d'un musicien peut se faire pendant que se poursuit la recherche des autres musiciens connus du système.

TÉLÉCHARGER MAJED EL MOHANDES 2012

Maintenance en cours

.

TÉLÉCHARGER FRENCH CANCAN DE JEAN RENOIR

Paquet : gprolog (1.4.5.0-3 et autres)

.

TÉLÉCHARGER NADAU GRATUIT

GNU Prolog

.

Similaire