FR |
EN
Auteur / Autrice : | Alonso Marquez |
Direction : | Yves Kodratoff |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique |
Date : | Soutenance en 1988 |
Etablissement(s) : | Paris 11 |
Mots clés
FR
Mots clés contrôlés
Mots clés libres
Résumé
FR
L'objectif de cette thèse est d'étendre à la logique des prélicats du premier ordre la notion de sémantique procédurale existante dans le langage prolog. Ceci permet d'augmenter l'efficacité et la clarté de la programmation en logique du premier ordre