1%This should fail since the Herbrand Universe only contains one symbol.
    2
    3q(a).
    4r(a).
    5
    6p(X) :- p(Y)