CONSTRUCTION DE GRAMMAIRES ATTRIBUEES ASSOCIEES A UN PROGRAMME LOGIQUE ET APPLICATION AU PROBLEME DU TEST D'OCCURRENCE
DANS LA PLUPART DES INTERPRETES PROLOG EXISTANTS, L'UNIFICATION EST IMPLANTEE, POUR DES RAISONS D'EFFICACITE, SANS TEST D'OCCURRENCE. MAIS CECI PEUT AVOIR DE GRAVES CONSEQUENCES: CREATIONS DE TERMES INFINIS NON VOULUS, INCORRECTION DE LA SLD-RESOLUTION, BOUCLAGE DANS L'ALGORITHME...
Guardat en:
| Autor principal: | |
|---|---|
| Altres autors: | |
| Format: | Thèse et Mémoire papier |
| Idioma: | Français |
| Publicat: |
[S.l.] :
[s.n.]
1990.
|
| Matèries: | |
| Nota: |
1990ORLE2020 |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | CONSTRUCTION OF ATTRIBUTE GRAMMARS ASSOCIATED TO A LOGIC PROGRAM AND APPLICATION TO OCCUR CHECK PROBLEM |