[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


More information about the users mailing list