[redrobein]

Would be interesting to see how much more involved it is to solve a constraint programming or optimization problem (something you'd actually use prolog for) in the other languages.

[weatherlight]

Here's a good start. https://www.ericpfahl.com/from-pattern-matching-to-unificati...

[redrobein]

Cool. I went through elixirschool a couple of years ago but didn't know it had logic programming builtin.