[m-users.] Confusion with inferencing for determinism
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