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
145
December 9, 2023
Tabling the wolf, sheep, cabbage
Help!
tabling
24
2911
July 30, 2021
Tabling meets negation! (Discussion)
Discussion
12
357
August 27, 2019
Changing results with tabling
General
12
646
March 25, 2020
Question about tabling
Help!
9
556
July 8, 2022