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
FCube 4.1, a Prolog prover for Intuitionistic Propositional Logic, now online
Announce
0
525
December 20, 2021
Lattices
Help!
0
356
June 18, 2019
Tabling meets negation!
Announce
0
1422
March 17, 2019
Proceedings 39th International Conference on Logic Programming
Nice to know
0
248
August 30, 2023
New Book: Second Edition of Foundations of Probabilistic Logic Programming
Announce
0
301
February 14, 2023