Abstract FR:

Presentation d'un systeme de programmation en logique base sur le calcul relationnel: description du langage sans variable graal et son extension relationnelle grel; definition des relations; introduction des indeterminees, decomposees en inconnues et gelees dans la programmation fonctionnelle; presentation de prolog et de ses contraintes; construction du langage logique relog a partir de grel, a l'aide d'un orienteur