4 ms·
Practical logic programming in Clojure : https://github.com/clojure/core.logic https://github.com/clojure/core.logic A modern logic programming language: https
by ghosthamlet 8y ago
Practical logic programming in Clojure
: https://github.com/clojure/core.logic https://github.com/clojure/core.logic
A modern logic programming language: https://github.com/mcsoto/cosmos https://github.com/mcsoto/cosmos
- hellofunk 8y agoCore.Logic is a miniKanren implementation which is quite different from Prolog (smaller and ultimately less powerful, but cool nonetheless). Many/all miniKanren solutions also work in Prolog, but the vice-versa is not true.