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?

Erlang is NOT a logic language, it is the base functional language of the BEAM on top of which Elixir is built and runs. It does have some syntactic features inherited from Prolog like variable names starting with an uppercase letter but that is all. There is erlog which is an implementation of Pro…

A few days ago, this was announced: Guesswork - Logic programming for Elixir

Elixir Programming Language Forum

Current Logic programming on the Beam?

Questions & Help Questions

zkessin October 16, 2024, 11:30am 5

yea, I ment to say “erlog” and not “erlang” twas a typo.