Outils pour l'Analyse Dynamique et la mise au Point de
Programmes avec Contraintes
Bibliothèque d'exemples,
Exemples illustratifs
Conference
Problem Description :
voir papiers de EMN ou these de Will
Interest :
simple and short example to illustrate the use of explanations in debugging
References :
[1] Jussien ...
Sources :
Source code GNU-Prolog
Codeine Traces: