zkessin
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?
Where Next?
Trending in Questions
Other Trending Topics
Latest on Elixir Forum
Sponsor Spotlight
Practical resources that improve the lives of professional developers.
Categories:
Sub Categories:
Forums
Popular Tags
- #ecto
- #liveview
- #troubleshooting
- #learning-elixir
- #deployment
- #library
- #erlang
- #testing
- #genserver
- #mix
- #absinthe
- #remote-other
- #otp
- #plug
- #how-to-question
- #macros
- #postgres
- #channels
- #elixirconf
- #exunit
- #discussion
- #code-sync
- #javascript
- #podcasts
- #onsite
- #dialyzer
- #docker
- #authentication
- #umbrella
- #full-time-contract
- #podcasts-by-brainlid
- #ecto-query
- #elixir-ls
- #blog-post
- #phoenix_html
- #iex
- #graphql
- #ai
- #genstage
- #elixirconf-us
- #websockets
- #supervisor
- #advent-of-code
- #distillery
- #processes
- #api
- #forms
- #metaprogramming
- #security
- #hex
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.
Error tracking, logs, uptime, and Just Enough APM. Built for developers.
Practical resources that improve the lives of professional developers.
Develop your skills with books, videos, and courses.
Enabling companies to succeed by building software people love.
The team behind Membrane, Popcorn, LiveDebugger. Available for hire.
Courses that'll move you from confusion to "Aha, now I get it!"
Showing Posts 1 to 3- Show Best Posts
- Show All Posts (oldest first)
- Show All Posts (newest first)
rvirding
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
erlogwhich 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 · GitHub. Some day I may get back to it and improve it.mindok
A few days ago, this was announced: Guesswork - Logic programming for Elixir
zkessin
yea, I ment to say “erlog” and not “erlang” twas a typo.