Intelligence artificielle : Turbo Prolog

Résumé du document

Prolog (Programmation Logique) est le langage né de l'intelligence artificielle. Il a été créé vers les années 75 à l'université d'Aix-Marseille.
Avec Prolog on passe de la programmation algorithmique à la programmation logique. La notion d'instruction n'existe absolument plus. On ne trouve également plu, ni étiquettes, ni boucle, ni alternatives, ni aiguillages multiples, ni procédures, ni pointeurs. Prolog est un langage déclaratif ou encore un langage de représentation des connaissances. Il permet d'énoncer des connaissances, de définir des problèmes et de déduire des solutions (...)

Extraits

[...] Les déclarations de types sont regroupées dans la section domains. Syntaxe : Objet1, Objet = type1 Objet11, Objet = type Les types simples sont : Char : 256 caractères ASCII ‘a' Integer entier compris entre -32768 et 32767 Real réel - 1E-308 et 1E+308 String chaînes de caractères "Bonjour" Symbol suite de caractères, sans espaces commençant par une minuscule et comportant d'éventuels caractères soulignés ou chaîne de caractères. Exemple : ake_loba "AKE_LOBA". String et Symbol sont interchangeables. File déclaration de nom symbolique de fichier. [...]

[...] Exemple predicates debut goal debut. Clauses debut makewindow ( "Prolog" cursor write ("Programmation en Prolog est passionnant!"), readchar Structure alternative si condition alors ation I sinon action II - Il faut créer un prédicat illustré par 2 règles : La première règle comprenant les conditions du test comme premiers sous buts, suivie de la liste des actions (prédicats réussissant toujours) à exécuter si la condition est vérifiée. - La seconde règle comprenant la liste des actions à exécuter si la condition n'est pas vérifiée. [...]

[...] Exemple Annick est un agent commercial s'écrira commercial(annick) ; annick est une constante. - Les variables désignent des objets dont nous connaissons l'existence mais dont la valeur n'est pas fixée à l'instant présent. Une variable commence obligatoirement par une lettre majuscule. Par exemple, poete(X) signifie que X est un poète. Tant qu'une variable attend de recevoir une valeur, elle est dite libre : elle est inconnue. Lorsqu'elle reçoit une valeur, elle est dite liée à cette valeur : elle devient une constante. [...]

[...] La formulation des requêtes est identique dans les deux cas. Turbo Prolog donne 3 types de réponses : yes, no ou les solutions. Exemples : predicates aime(symbol, symbol) travaille(symbol, symbol, integer) clauses aime(pierre, pecher). aime(jean, nager). aime(jean, chasser). aime(charlotte, danser). aime(constance, danser). travaille(jean, mathematique, 6). travaille(jean, français, 4). travaille(pierre, informatique, 8). [...]

[...] Puis descendant la base de faits, il cherche à satisfaire le second argument, s'il trouve correspondance, il y a succès : la recherche se poursuit pour l'argument suivant. S'il y a échec, la remontée s'effectue jusqu'à la position du dernier marqueur. La variable est libérée et la recherche reprend au fait suivant avec une nouvelle unification de la variable. Quelques instructions 1 Entrées/Sorties - Ecriture : Write (arg1, arg ) affiche les arguments spécifiés à l'écran. Les arguments (en nombre quelconque) sont des constantes ou des variables liées. Le caractère provoque un renvoie à la ligne. [...]