3 citations · 6 across the 3 of their papers we have counts for
3 papers
cs.PL2017★ 3 cited
More declarative tabling in Prolog using multi-prompt delimited control
Samer Abdallah
Several Prolog implementations include a facility for tabling, an alternative resolution strategy which uses memoisation to avoid redundant duplication of computations. Until relat…
cs.LO2017★ 1 cited
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-…
cs.MS2017★ 2 cited
Automatic Differentiation using Constraint Handling Rules in Prolog
Samer Abdallah
Automatic differentiation is a technique which allows a programmer to define a numerical computation via compositions of a broad range of numeric and computational primitives and h…