Tabled logic programming: Difference between revisions

Revision as of 18:11, 28 October 2023

Revision as of 18:22, 28 October 2023

Line 1:

{{AfC submission|t||ts=20231028181124|u=Felix QW|ns=118|demo=}}

<!-- Note: The following pages were redirects to [[Tabled_logic_programming]] before draftification:

*[[Tabling]]

*[[SLG resolution]]

*[[Draft:Tabled logic programming]]

-->

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

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 39 ⟶ 32:

Giovanni Ciatto

}}

{{Draft categories|{{Draft[[Category:Logic categories|programming]][[Category:Dynamic programming]]

[[Category:Logic programming]][[Category:Dynamic programming]]

}}

}}

{{Drafts moved from mainspace|date=October 2023}}