Can we run Erlog inside IEx?

An educational web app to teach International Criminal Law. E.g., is such and such Genocide? Why or why not?

My initial Prolog code:
https://github.com/public-law/war-crimes-explorer/blob/master/crimes.pl

SWI Prolog’s s(CASP) is interesting because it has an explain function. Without that, it’ll be a little more work to show how the proof was arrived at.

Wow, tell me more and show me!

I’m now thinking about using Erlog in a web app, presenting a frontend view Phoenix Liveview or a Livebook.

A little late to the party here, but I’ve been tinkering with Erlog inside Livebook for a while now.

Example Mix.install/2 within LB is:

Mix.install([
  {:erlog, github: "rvirding/erlog", branch: "develop"}
])

Ah hah - no problem! Thank you.

Yes, @kip beat me to it. I have not put it in hex. I will get around to it eventually, but for now take it from github.

I believe Robert is saying you need to install it as a GitHub dependency. ie: {:erlog, githhub: "rvirding/erlog", branch: "develop"}

There is now an elixir Erlog module with the same interface as the erlang erlog module but with the state as the first argument in the elixir way.

Would you happen to know where we could find it? I checked Hex.pm.

Function application, but argument is passed as 1st argument to then/2. Useful for in-pipeline incantations, especially when the pipeline argument isn’t the 1st.

Use the develop branch which contains the latest fixes and improvements. It sometimes takes some times before things make it into the master branch. You can usually rely on the develop as new developments and work are usually done in other branches.

There is now an elixir Erlog module with the same interface as the erlang erlog module but with the state as the first argument in the elixir way.

What does then/2 do?