The thesis aims at a semantic study of logic programming. Four semantics are presented and compared. They are composed of two operational semantics, of one declarative semantics extending the classical Herbrand interpretation and immediate consequence operator, and of one denotational semantics, defined compositionally and on the basis of consistent histories.
|la date de réponse||juin 1993|
|Superviseur||Van Hien Nguyen (Promoteur) & Jean-Marie JACQUET (Copromoteur)|