3 ms·
Just hours (a day?) earlier there was this very interesting -and IMO relevant here- HN post: Can logic programming be liberated from predicates and backtra
by cryptonector 2y ago
Just hours (a day?) earlier there was this very interesting -and IMO relevant here- HN post:
Can logic programming be liberated
from predicates and backtracking?
[pdf] (uni-kiel.de)
https://news.ycombinator.com/item?id=41816545
That deals with backtracking, which is often implemented with continuations, as in TFA.