p(a) :- a. a. %%%%%%%%%%%%%%%% p(b) :- b. b.