3 ms·

Just add a Prolog interpreter, and then you will have the most powerful pattern matching avaiable: unification[1] [1] http://en.wikipedia.org/wiki/Unification_

• 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 ago
    Writing 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