p(x).
ite(If,Then,_) :- call(If), !, call(Then).
ite(_,_,Else) :- call(Else).