Thèse soutenue

FR  |  
EN
Accès à la thèse
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

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