3 ms·
Do you know of any work on this? I have a prototype implementation for a side-effects prolog library with a similar semantics and I'm working on the correspond
by maweki 5y ago
Do you know of any work on this? I have a prototype implementation for a side-effects prolog library with a similar semantics and I'm working on the corresponding paper.
- Twisol 5y agoNot directly, no -- it's at least part of my own musings on logical systems. Probably the closest thing in my mind is Kuper et al.'s LVars, and I've long wanted to extend its join-semilattices to meets, but I left academia for a rather demanding day job ^_^; I do think consensus algorithms have something deeply in common here, as CALM (Consistency As Logical Monotonicity) seems to cover the space of join-semilattice structures pretty crisply, and CALM is all about when you don't need consensus. But again, just my own musings.