zlacker

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.