If P is instantiated
to an atom or compound term, then the goal
executed exactly as if that term appeared textually in its place,
except that any cut (
!) occurring in P only cuts alternatives
in the execution of P.