In section 3.3 Average of solutions, the second argument A2 (Goal) is said to unify the first argument A1 (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.