3 ms·
You could study core.logic: https://github.com/clojure/core.logic/tree/master/src/main/clojure https://github.com/clojure/core.logic/tree/master/src/main/c...
by ethagnawl 6y ago
You could study core.logic: https://github.com/clojure/core.logic/tree/master/src/main/clojure https://github.com/clojure/core.logic/tree/master/src/main/c...
I swear I'd bookmarked a resource that was more analogous to #2, but you may want to have a look at The Little Prover: https://mitpress.mit.edu/books/little-prover https://mitpress.mit.edu/books/little-prover
- tobmlt 6y agoYep! Or go for miniKanren if you want something like core.logic, but outside of clojure. Will Byrd has a lot of documentation out there. (Scheme focus of course.) I think the easiest way for a programmer with a vanilla background to “get it” is here: https://codon.com/hello-declarative-world https://codon.com/hello-declarative-world