modified:   ex1.prolog