Etude et implémentation d'un noyau de prolog basé sur les algorithmes de Robinso et de Martelli et rossi
Type doc. :
Langue :
Auteur(s) :
Année de soutenance:
Afficher le Résumé
Dans ce travail, nous presentons un de PRDLOG (HAQLOG)reposant sur une version amelioree de l’unification de Robinson sans verification d’occurrences. MAQLDG permetnotamment la generation de la trace d’arbres SLD suivant une extension du modele de BgPd et la detection de quelquesboucles logi ues.QA travers une etude de la representation des termes,l’unification, la resolution SLD et les branches infinies,nous aisons ressortir les aspects techniques de 1’imple— mentation de MAQLDG.L’implementation d’un algorithme d’uni¥ication base surl’approche: Resolution d’un sgsteme ’equations d’une part,et d’une version amelioree d’un algorithme d’unification deRobinson d’autre part, a permi larealisation d’un bancd’essais de comparaison.Un banc d’essais est egalement realise pour evaluer MAQLDG avec PRDLDG_CRISS et XILDG.
| N° Bulletin | Date / Année de parution | Titre N° Spécial | Sommaire |
|---|
| Cote | Localisation | Type de Support | Type de Prêt | Statut | Date de Restitution Prévue | Réservation |
|---|---|---|---|---|---|---|
| 004 BEN TH C1 | BIB-Centrale / Thèses | interne | disponible |