Current Logic programming on the Beam?

Questions / Help
,
1

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?

2

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 Prolog on top of Erlang which I have done but it is while back since I have worked with it. It did work, but no guarantees now. GitHub - rvirding/erlog: Prolog interpreter in and for Erlang. Some day I may get back to it and improve it.

5 Likes
4

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

2 Likes
5

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

1 Like