GraphicalLogicProg.pdf (294.7 KB)
This is a side project I’ve been working on off and on for a few months. Recently, the main idea has crystallized, and I got this draft document complete enough to communicate the core idea. @mariari has mentioned the idea of using traditional logic programming methods for intent solving. This is, I think, a viable way to do that in a concurrent way. The paper doesn’t mention intents, as it’s about evaluating relational programs in general. @Jamie @degregat @graphomath @jonathan may be interested.
For now, this is still a side project as I have other priorities, but I figured I’d post this early draft here to gauge interest.