[m-users.] Tabling a semidet predicate

Zoltan Somogyi zoltan.somogyi at runbox.com
Wed Jun 9 06:22:32 AEST 2021


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.


More information about the users mailing list