3 ms·
I already wrote a Prolog-like engine and it has unification based pattern matching - https://github.com/clojure/core.logic https://github.com/clojure/core.logic
by swannodette 15y ago
I already wrote a Prolog-like engine and it has unification based pattern matching - https://github.com/clojure/core.logic https://github.com/clojure/core.logic
Unification based pattern matching is fantastic in its generality - not so much performance.
- exDM69 15y agoWriting a Prolog-style interpreter is one of the most fun computer science projects I've ever done. I wrote it at the uni as a project work for an AI course. I did it in Haskell, and my professor got really interested in the language after evaluating my work. So here's my little logic programming interpreter: https://github.com/rikusalminen/slolog https://github.com/rikusalminen/slolog