On: The Art of the Propagator (2009) [pdf]

[philzook]

This is also intimately connected with Ed Kmett's Guanxi project

https://www.youtube.com/watch?v=D7rlJWc3474 https://github.com/ekmett/guanxi

My understanding is he is using ideas from propagators and other places to make a performant logic programming framework in Haskell.