Application et évaluation d'une méthodologie de programmation logique

  • Bertrand Mignon

Student thesis: Master typesMaster en sciences informatiques

Résumé

Le but de ce mémoire est d'appliquer et d'évaluer une méthodologie de programmation logique [Deville 87]. La méthodologie est d'abord présentée. Ensuite une application est réalisée à l'aide de celle-ci. L'application sert à transformer des programmes prolog pour les rendre plus performants (déclaration de mode). La méthodologie est finalement évaluée et des extensions et modifications sont proposées.
la date de réponse1988
langue originaleFrançais
L'institution diplômante
  • Universite de Namur
SuperviseurBaudouin LE CHARLIER (Promoteur)

Contient cette citation

'