Afin de favoriser l'intégration des langages déclaratifs dans les environnements de programmation du futur, il est nécessaire d'améliorer leur mise en oeuvre, mais il faut aussi étudier le style de programmation qu'ils introduisent et développer des applications qui illustrent leur intérêt pratique. Nous décrivons dans les sections qui suivent nos travaux sur ces trois aspects dans le contexte de la programmation logique.