[nominalprose]

Some years back I spent a lot of time reading these docs and playing with some core examples and corresponded some with the developer behind the project.

I think inductive, reactive, programming patterns have a lot of promise for building more composable software. This project is I think no longer maintained, but it should hopefully serve as inspiration for language designers.

LogicBlox was (is?) a larger scale commercial system based on similar ideas: https://en.wikipedia.org/wiki/LogicBlox

[airstrike]

Yeah, looking at their GitHub profile it does look like this has sadly been abandoned: https://github.com/cell-lang

[vczf]

They released a cell to cpp compiler last year: https://www.cell-lang.net/version-0.7.html

GitHub: https://github.com/cell-lang/c-cpp/tree/master/src/compiler