dimitarvp
Can we run Erlog inside IEx?
This is mostly aimed at @rvirding but anyone who knows Erlang and Prolog well enough can answer, of course.
Here goes: I’d like to dip my toes in logic programming a bit. I don’t want to become an expert in Prolog the programming language, only the logic programming aspect of it.
Can Erlog (Prolog running in Erlang console) can actually run in IEx as well? If not, what exactly must be done so it can run in an Erlang console? Sorry if it’s a naive and dumb question, I don’t aim to become an expert in Erlang and I am looking for a quick-and-easy way.
Any help is appreciated.
Marked As Solved
rvirding
Yes, erlog runs without problems in IEx. It is basically just a big library and with some interface modules.
- The basic interface is in the
:erlogmodule which you can call from programs or from a shell like IEx. The Erlog state is in a structure which you pass around. - There is also an Erlog gen_server in the module
:erlog_serverwhich you can startup. It manages the state and there is a set of interface functions to access it, basically the same interface as in:erlog. - You can also start up a simple prolog-like shell with
:erlog_shell.
The interface is standard Erlang but this mainly because no-one has shown any interest in writing one for Elixir. It would not be difficult.
Robert
P.S. Saw your question in the irc but hadn’t got around to answering it.
Also Liked
adammokan
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"}
])
kip
I believe Robert is saying you need to install it as a GitHub dependency. ie: {:erlog, githhub: "rvirding/erlog", branch: "develop"}
rvirding
No, erlog is a separate system which you will have to down load from github, https://github.com/rvirding/erlog , and connect into your application. This can be done with mix (I guess) but I can’t help you there as my knowledge of mix is not great.
rvirding
If you are using rebar3 with erlang you can specify it as a dependency and it will be downloaded and put in a suitable place. Pretty much what mix does. If you are not using rebar3 then you need to download it by hand and put it somewhere that erlang can find it, the easiest is by either using the -pa <dir> flag when starting erlang or by setting ERL_LIBS environment variable, http://erlang.org/doc/man/code.html . With mix you can also give it as a dependency but you need to tell mix that it is erlang which it must compile and not elixir. i don’t know how you do that.
rvirding
No worries, just ask if have more questions about running it. Seriously.
Popular in Questions
Other popular topics
Latest on Elixir Forum
Sponsor Spotlight
Enabling companies to succeed by building software people love.
Categories:
Sub Categories:
Forums
Our Sponsors
Build Elixir applications with speed and confidence.
Supporting innovation across the BEAM ecosystem.
We build reliable cloud platforms for business-critical systems.
Catch errors, track performance, monitor hosts and more.
Practical resources that improve the lives of professional developers.
Develop your skills with books, videos, and courses.
Producing high quality Elixir screencasts since 2017.
Courses that'll move you from confusion to "Aha, now I get it!"