A built-in predicate that acts like:

call(P) :- P.