Skip to Main content Skip to Navigation
Theses

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
Document type :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00325827
Contributor : Thèses Imag <>
Submitted on : Tuesday, September 30, 2008 - 2:53:23 PM
Last modification on : Friday, November 6, 2020 - 4:14:18 AM
Long-term archiving on: : Friday, June 4, 2010 - 12:01:49 PM

Identifiers

  • HAL Id : tel-00325827, version 1

Collections

Citation

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

Share

Metrics

Record views

230

Files downloads

239