modified:   V2/ex1.prolog