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
How would you parallelize between(1,20,N), prime(N)?
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
2856
July 30, 2021
Tabling meets negation! (Discussion)
Discussion
12
314
August 27, 2019
Changing results with tabling
General
12
630
March 25, 2020
Question about tabling
Help!
9
536
July 8, 2022