Hacker Newsnew | comments | ask | jobs | submitlogin
andrewcooke 743 days ago | link | parent

"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 742 days ago | link

Okay, I've only ever skimmed CTM before, I'll give it a closer look.


Lists | RSS | Bookmarklet | Guidelines | FAQ | DMCA | News News | Feature Requests | Bugs | Y Combinator | Apply | Library