[m-users.] Confusion with inferencing for determinism

[Zoltan Somogyi]

On Tue, 18 Apr 2017 17:58:01 +0200, artem.kozlov at posteo.net wrote:
> Thank you for the explanation!
> Let me clarify that I understood it properly:
> So basically if I call my_last(["a"], Res), the first disjunct will 
> unify as well as second one, because ["a"] is equivalent to ["a" | []], 
> even so later it will fail in the recursive call because there is no 
> match for empty list.
> But because inferencing is *local*, without going deep into the 
> recursion we possible can get values from both clauses, right?

That is correct.

Zoltan.