In section 3.3 Average of solutions, the second argument
Goal) is said to unify the first argument
Var). However, C[++] code does not show any bindings between the two. Can anyone explain please in detail and maybe provide a full example with Prolog code for
Goal? Thank you.