⁸The predicate returns only one message, if several sets of variable assignments satisfy the constraints, they will be iterated upon invocations of the predicate,when the iteration process is finished —the set of variable assignments is exhausted— the predicate fails to instantiate.