Tabled logic programming: Difference between revisions

Content deleted Content added
m PatrickJWelsh moved page Tabled logic programming to Draft:Tabled logic programming over redirect: Not ready for mainspace, incubate in draftspace. Reason/s: custom reason
AFC draft
Tags: moveToDraft Reverted
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 32 ⟶ 39:
Giovanni Ciatto
}}
{{Draft categories|{{Draft categories|
[[Category:Logic programming]][[Category:Dynamic programming]]
 
}}
}}
{{Drafts moved from mainspace|date=October 2023}}