Uses, Improvements, and Extensions of Prolog+CG : Case Studies. - Adil Kabbaj; Bernard Moulin; Jeremi Gancet; David Nadeau; Olivier Rouleau (ICCS, 2001)