Forum Programmation.autre IMPLICATION => en Prolog sous Eclipse : lib(CLPQ)

Bonjour j'utilise la librairie clpq (rationnels sous eclipse, et je cherche a réaliser :
ContrainteX => ContrainteY
ce afin qu' au moment ou la contrainteX est vrai il execute la contrainteY

je sais que cela est possible avec la librairie fd( mais je ne peut melanger clpq et fd), et l'implication de la librairie suspend ne marche qu'avec des exdpressions booleenes et non des contraintes !
Quelqu'un saurait il comment m'en sortir ????

Merci

Sernin