Programmation déclarative et impérative en Prolog — Philippe Collard