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
At WyeWorks, we believe great software is built by combining technical excellence with genuine human connection
Categories:
Sub Categories:
Forums
Popular Tags
- #ecto
- #liveview
- #troubleshooting
- #learning-elixir
- #library
- #deployment
- #erlang
- #testing
- #genserver
- #mix
- #absinthe
- #remote-other
- #otp
- #plug
- #how-to-question
- #macros
- #postgres
- #elixirconf
- #channels
- #exunit
- #discussion
- #code-sync
- #podcasts
- #javascript
- #onsite
- #dialyzer
- #docker
- #authentication
- #umbrella
- #full-time-contract
- #podcasts-by-brainlid
- #ecto-query
- #elixirconf-us
- #blog-post
- #ai
- #elixir-ls
- #phoenix_html
- #iex
- #graphql
- #genstage
- #websockets
- #supervisor
- #advent-of-code
- #distillery
- #processes
- #api
- #forms
- #hex
- #security
- #metaprogramming
Our Sponsors
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.
Elixir, Erlang & BEAM conferences from Code Sync - join us in 2026!
Master modern tools, write cleaner code, and tackle real-world challenges.
Bringing learning, work and compliance together since 1987.
The deployment platform built for Elixir: PaaS ease, VPS control.
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 (oldest first)
- Show All (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.