Tabling is the relational counter part to memoization in functional programming. In FOL terms, an intension, applied to context extension, produces another extension. In relational terms, a query, applied to a database (set of tables) produces another table. Going back to FOL, when you update the context extension, you must update at least parts (increment) of the intension's extension. Relationally, you must incrementally update the table resulting from the query of the database (sometimes called incremental view maintenance).
On Fri, Feb 21, 2020 at 8:41 AM stefan.reich.maker.of.eye via AGI < [email protected]> wrote: > What is incremental tabling? > *Artificial General Intelligence List <https://agi.topicbox.com/latest>* > / AGI / see discussions <https://agi.topicbox.com/groups/agi> + > participants <https://agi.topicbox.com/groups/agi/members> + delivery > options <https://agi.topicbox.com/groups/agi/subscription> Permalink > <https://agi.topicbox.com/groups/agi/T887757e45bfd1342-M5bb2d16ae5dec032c3ff552e> > ------------------------------------------ Artificial General Intelligence List: AGI Permalink: https://agi.topicbox.com/groups/agi/T887757e45bfd1342-Mf47e9ca160a0ab345d3690e3 Delivery options: https://agi.topicbox.com/groups/agi/subscription
