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?
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.
There is now an elixir
Erlogmodule with the same interface as the erlangerlogmodule 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.
I believe Robert is saying you need to install it as a GitHub dependency. ie: {:erlog, githhub: "rvirding/erlog", branch: "develop"}
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:
I have not put it in hex. I will get around to it eventually, but for now take it from github.Mix.install([
{:erlog, github: "rvirding/erlog", branch: "develop"}
])
I’m now thinking about using Erlog in a web app, presenting a frontend view Phoenix Liveview or a Livebook.
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.