Utilisation des modes directionnels dans la résolution - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 1987

Use of directional modes in resolution

Utilisation des modes directionnels dans la résolution

Résumé

Cette étude met en évidence l'utilité des modes directionnels pour l'optimisation de la résolution dans le langage Prolog. Ils se caractérisent essentiellement par le fait qu'ils permettent de distinguer les différentes utilisations possibles d'un même prédicat. Un algorithme de production automatique de ces modes est décrit. L'étude est concrétisée par la réalisation du compilateur Starlog, fonctionnant sur un cas particulier de modes directionnels
Fichier principal
Vignette du fichier
Oudot.Olivier_1987_these.pdf (13.39 Mo) Télécharger le fichier

Dates et versions

tel-00325827 , version 1 (30-09-2008)

Identifiants

  • HAL Id : tel-00325827 , version 1

Citer

Olivier Oudot. Utilisation des modes directionnels dans la résolution. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1987. Français. ⟨NNT : ⟩. ⟨tel-00325827⟩

Collections

UGA CNRS TDS-MACS
91 Consultations
96 Téléchargements

Partager

Gmail Facebook X LinkedIn More