Le Langage D-Prolog — Philippe Donz, Rosalie Hurtado