Partie "programmation logique" du cours de Programmation déclarative, concernant avec une introduction aux différentes formes de programmations déclaratives (programmation par contrainte, programmation logique, programmation logique avec contraintes, programmation parallèle logique, programmation fonctionnelle concurrente).