SWI-Prolog
Tabling: Linear Resolution (SLT)
General
swi
June 20, 2019, 1:19am
1
This may be of interest given the new tabling work:
SLT-Resolution for the Well-Founded Semantics
2 Likes
Are there :- table ordering guarantees?
Related topics
Topic
Replies
Views
Activity
A loose question on tabling and ancestor resolution
General
0
164
December 9, 2023
Tabling the wolf, sheep, cabbage
Help!
tabling
23
3051
July 30, 2021
Tabling meets negation! (Discussion)
Discussion
12
417
August 27, 2019
Changing results with tabling
General
12
698
March 25, 2020
Question about tabling
Help!
9
628
July 8, 2022