Contact
How to shop
Delivery
Shopping guide
Utilisation Des Modes Directionnels Dans La Resolution
French
106 b
Up to 30 days for returns
Customers also purchased
/
Paperback
3 534
Ft
/
Hardback
91 607
Ft
/
Digital
13 073
Ft
Cette thčse a pour but de présenter une catégorie particuličre de modes, les modes directionnels, et de mettre en évidence leur utilité 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. Ces modes offrent la possibilité d'améliorer le contrôle en modifiant la stratégie de résolution standard par réordonnancement statique des sous-buts des clauses. Dans certains cas, ils autorisent une transformation des programmes Prolog en programmes fonctionnels dont l'exécution est notoirement plus efficace. Ils permettent également diverses optimisations locales, dont notamment une grande spécialisation de l'algorithme d'unification en fonction des termes ŕ unifier. 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. Les mesures de performances mettent en évidence l'intéręt pratique de cette technique.
About the book
French
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's addressYou might also be interested in
/
Paperback
17 043
Ft
Hi! I'm Libroamiko, your book advisor.
How can I help you?