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.