4 ms·
From now on, I'm going to start all my questions with "this is either obvious or wrong, but ...". I hadn't made the connection between dataflow and logic progr
by prospero 15y ago
From now on, I'm going to start all my questions with "this is either obvious or wrong, but ...".
I hadn't made the connection between dataflow and logic programming. I'm not sure if the programming practices surrounding logic programming would be useful in this context, but I'll certainly look into it. Thanks for the suggestion.
- andrewcooke 15y ago"logic programming" is a bit misleading. oz (at least) doesn't have built-in DFS like prolog. but it does keep the idea of logic variables, which it uses to make concurrent programming "easy" (in the sense that what you are doing is deadlock free), so it is more similar than you may think...
- prospero 14y agoOkay, I've only ever skimmed CTM before, I'll give it a closer look.