% Simple program to check nondeterministic execution % (9 states, confluent and terminating) a. a :- b. a :- c. a :- b,c. b :- c. c :- d,d. d,d,d,d :- d,d.