[m-users.] Confusion with inferencing for determinism

Zoltan Somogyi zoltan.somogyi at runbox.com
Wed Apr 19 01:59:27 AEST 2017

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.


More information about the users mailing list