Latest #logic-programming Threads Top

tmbb
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
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 ...
New
smaller_infinity
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 Top

This Month's Trending Top

tmbb
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 Top

Last Three Year's Trending Top

smaller_infinity
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
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 ...
New

Trending Over Three Years Top

  • Follow
  • Join
  • Shape
the conversation

Latest on Elixir Forum

Elixir Forum

Similar Portals

    None added yet

We're in Beta

About us Mission Statement