The constraint language described in SICP (AFAIK began as a paper by Gerry Sussman and Richard Stallman, continued in the PhD thesis of Guy Steele) is indeed an inspiration / precursor to Alexey's dissertation on propagators.
Yes, and with Alexey's work (if I've understood it) the propagators are allowed to hold multiple values(beliefs) based on more than one (possibly conflicting) set of constraints.
I won't be able to read the paper, but from the abstract it sounds a bit like a blackboard[0]
"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"
I can't see the term Blackboard used in the paper. Probably irrelevant but just an observation.
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
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.