Tabling: Linear Resolution (SLT)

swi June 20, 2019, 1:19am 1

This may be of interest given the new tabling work:

2 Likes

Topic		Replies	Views
A loose question on tabling and ancestor resolution General	0	147	December 9, 2023
Tabling the wolf, sheep, cabbage Help! tabling	24	2934	July 30, 2021
Tabling meets negation! (Discussion) Discussion	12	364	August 27, 2019
Changing results with tabling General	12	651	March 25, 2020
Is there an easy way to view "stack traces" with the interpreter? General how-to	95	516	April 11, 2026