LISLOG-C: Une première étape vers l'expression généralisée des contraintes en programmation en logique.