Tabled logic programming: Difference between revisions

Revision as of 10:57, 28 October 2023

Revision as of 10:59, 28 October 2023

Line 1:

{{redirect|Tabling|the parliamentary procedure|Table (parliamentary procedure)}}

{{Copypaste|url=https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/fifty-years-of-prolog-and-beyond/3A5329B6E3639879301A6D44346FD1DD|date=October 2023}}

Tabling is a technique first developed for natural language processing, where it was called [[Earley parsing]]. It consists of storing in a table (a.k.a. chart in the context of parsing) partial successful analyses that might come in handy for future reuse.

Line 14 ⟶ 13:

== SLG resolution ==

{{expand section|date=October 2023}}

== Termination properties ==

{{expand section|date=October 2023}}

== References ==

{{reflist}}