modified:   V2/Exemple/ex1 && modified:   V2/ex1.prolog