prepareForExecution

Prepares the receiver Clause for execution, using the provided visitor

For example, the Clause product(A) :- A, A is transformed, after preparation for execution, as the Term: product(A) :- call(A), call(A)

Prepares the receiver Clause for execution like prepareForExecution, additionally applying unifier to each variable encountered along the way.