Participants : Yves Bekkers
Le style de programmation monadique d'abord introduit en
programmation fonctionnelle peut être adapté à la programmation
logique et spécialement à 
Prolog . Dans ce dernier cas les constructions
d'ordre supérieur permettent de coder directement les opérateurs
des monades. Au delà de l'importation pure et simple du style
monadique, des constructions propres à la programmation logique
acquièrent un statut nouveau [9,10].
Ce travail s'effectue en collaboration avec Paul Tarau de l'Université de Moncton (Canada).