Latest #logic-programming Threads 
I have written some bindings to the Z3 theorem prover. The Z3 executable is used as part of a port (i.e. I am not binding to the executab...
New
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 ...
New
Guesswork is a logic programming library for Elixir. Its based heavily on Prolog, but I’ve attempted to make it follow more idiomatic Eli...
New
This Week's Trending
This Month's Trending
I have written some bindings to the Z3 theorem prover. The Z3 executable is used as part of a port (i.e. I am not binding to the executab...
New
This Year's Trending
Last Three Year's Trending
Guesswork is a logic programming library for Elixir. Its based heavily on Prolog, but I’ve attempted to make it follow more idiomatic Eli...
New
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 ...
New
Trending Over Three Years
- Follow
- Join
- Shape
the conversation
Latest on Elixir Forum
Get money off!
The Pragmatic Bookshelf
35% off any eBook
Manning Publications
45% off any item
ElixirCasts
10% off for life
The Pragmatic Studio
20% off any course
AppSignal
10% off for 12 months
Honeybadger
10% off for 12 months
Simply use coupon code "devtalk.com" or "elixirforum" at checkout!
Filter by Type:
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
- #phoenix_html
- #iex
- #blog-post
- #graphql
- #genstage
- #ai
- #elixirconf-us
- #websockets
- #supervisor
- #advent-of-code
- #distillery
- #processes
- #api
- #forms
- #metaprogramming
- #performance
- #security









