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
167
December 9, 2023
Tabling the wolf, sheep, cabbage
Help!
tabling
23
3067
July 30, 2021
Tabling meets negation! (Discussion)
Discussion
12
447
August 27, 2019
Changing results with tabling
General
12
704
March 25, 2020
Question about tabling
Help!
9
700
July 8, 2022