xyz(a):-!.
        xyz(b):-!.
        xyz(c):-!.