[m-users.] Tabling a semidet predicate

[Zoltan Somogyi]

2021-06-09 06:07 GMT+10:00 "Zoltan Somogyi" <zoltan.somogyi at runbox.com>:
> The theory behind Mercury's minimal model tabling is covered in the first
> of the two references mentioned in section 19.2 in the reference manual,
> Sagonas's PhD thesis. It is also covered in some of his papers on the topic.

This thesis seems to have disappeared from its usual sources on the internet,
but we had prepared for this, and it is still available from
https://github.com/Mercury-Language/mercury_outside_papers

Zoltan.