This is also intimately connected with Ed Kmett's Guanxi project<p><a href="https://www.youtube.com/watch?v=D7rlJWc3474" rel="nofollow">https://www.youtube.com/watch?v=D7rlJWc3474</a>
<a href="https://github.com/ekmett/guanxi" rel="nofollow">https://github.com/ekmett/guanxi</a><p>My understanding is he is using ideas from propagators and other places to make a performant logic programming framework in Haskell.
The section in SICP on circuit simulation has some similar ideas. I like to think that that was an early version of the propagator idea - <a href="https://mitpress.mit.edu/sites/default/files/sicp/full-text/book/book-Z-H-22.html#%_sec_3.3.4" rel="nofollow">https://mitpress.mit.edu/sites/default/files/sicp/full-text/...</a>
I won't be able to read the paper, but from the abstract it sounds a bit like a blackboard[0]<p>"a common knowledge base, the "blackboard", is iteratively updated by a diverse group of specialist knowledge sources, starting with a problem specification and ending with a solution. Each knowledge source updates the blackboard with a partial solution when its internal constraints match the blackboard state. In this way, the specialists work together to solve the problem"<p>I can't see the term Blackboard used in the paper. Probably irrelevant but just an observation.<p>[0] <a href="https://en.wikipedia.org/wiki/Blackboard_system" rel="nofollow">https://en.wikipedia.org/wiki/Blackboard_system</a>
There is also miniadapton <a href="https://github.com/fisherdj/miniAdapton" rel="nofollow">https://github.com/fisherdj/miniAdapton</a><p>Unlike what is explained OP, the computation is one way.
Nice! I’ve been spending a lot of time with Radul’s thesis, which is also on propagator networks, trying to follow along and implement a reactive framework using its teachings. Fun times