3 ms·
Do you mean fair conjunction like in "Backtracking, Interleaving, and Terminating Monad Transformers" or something else/new?
by cgrand-net 15y ago
Do you mean fair conjunction like in "Backtracking, Interleaving, and Terminating Monad Transformers" or something else/new?
- swannodette 15y agoI don't think so though I'm not totally sure. That paper isn't really about logic programming in general - no vars, no unification.
- cgrand-net 15y agoI think you're right and I had the stupids the other day: what this paper describes is simply your conde (né condi). No?