# Tabling: Linear Resolution (SLT)

**URL:** <https://swi-prolog.discourse.group/t/tabling-linear-resolution-slt/838>\
**Category:** General\
**Created:** [June 20, 2019, 1:19am UTC](https://swi-prolog.discourse.group/t/tabling-linear-resolution-slt/838 "2019-06-20T01:19:55Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![swi](https://avatars.discourse-cdn.com/v4/letter/s/51bf81/32.png) [@swi](https://swi-prolog.discourse.group/u/swi)\
**Post date:** [June 20, 2019, 1:19am UTC](https://swi-prolog.discourse.group/t/tabling-linear-resolution-slt/838/1 "2019-06-20T01:19:55Z")

</div>

This may be of interest given the new tabling work:

[SLT-Resolution for the Well-Founded Semantics](https://arxiv.org/pdf/cs/0002016.pdf)