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 |
---|
langue originale | Français |
---|
L'institution diplômante | |
---|
Superviseur | Van Hien Nguyen (Promoteur) & Jean-Marie Jacquet (Copromoteur) |
---|
Comparative semantics of logic programming
Sizaire, M. (Auteur). juin 1993
Student thesis: Master types › Master en sciences mathématiques