3 ms·
Slightly more approachable intros to this topic: Hello, declarative world: https://codon.com/hello-declarative-world https://codon.com/hello-declarative-world
by shioyama 8y ago
Slightly more approachable intros to this topic:
Hello, declarative world: https://codon.com/hello-declarative-world https://codon.com/hello-declarative-world
Reasoned PHP: https://igor.io/2014/08/06/reasoned-php.html https://igor.io/2014/08/06/reasoned-php.html
- mdiep 8y agoI made a Swift library, Logician (https://github.com/mdiep/Logician https://github.com/mdiep/Logician), based on microKanren with the help of these links. I also wrote about how it works with Swift: https://matt.diephouse.com/2016/12/logic-programming-in-swift/ https://matt.diephouse.com/2016/12/logic-programming-in-swif... I haven't had the chance to build anything that uses them. But having become familiar, I think there are lots of potential applications. I always thought that Prolog was strange. Logic programming makes a lot more sense as a library IMO.
- nils-m-holm 8y agoOr, if you prefer a book: http://t3x.org/amk/index.html http://t3x.org/amk/index.html