HI all
Are there any current tools for logic programming on the beam. There is Erlang and a few MiniKanren type tools from long ago but I don’t think anyone has done much with them in the last 10 years.
Is there anything that is more or less current?
