Comparative semantics of logic programming

  • Muriel Sizaire

    Thèse de l'étudiant: Master typesMaster en sciences mathématiques

    Résumé

    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éponsejuin 1993
    langue originaleFrançais
    L'institution diplômante
    • Universite de Namur
    SuperviseurVan Hien Nguyen (Promoteur) & Jean-Marie JACQUET (Copromoteur)

    Contient cette citation

    '