research
∙
08/23/2017
More declarative tabling in Prolog using multi-prompt delimited control
Several Prolog implementations include a facility for tabling, an altern...
research
∙
07/15/2017
Memoisation: Purely, Left-recursively, and with (Continuation Passing) Style
Memoisation, or tabling, is a well-known technique that yields large imp...
research
∙
06/01/2017