Memoisation: Purely, Left-recursively, and with (Continuation Passing) Style

Samer Abdallah

Memoisation, or tabling, is a well-known technique that yields large improvements in the performance of some recursive computations. Tabled resolution in Prologs such as XSB and B-…