https://github.com/xieyuheng/exo

logic programming in elixir
https://github.com/xieyuheng/exo

elixir logic-programming microkanren minikanren the-reasoned-schemer

Last synced: 6 months ago
JSON representation

logic programming in elixir

• Host: GitHub
• URL: https://github.com/xieyuheng/exo
• Owner: xieyuheng
• License: other
• Created: 2018-04-10T05:58:42.000Z (about 7 years ago)
• Default Branch: master
• Last Pushed: 2018-11-01T10:39:28.000Z (over 6 years ago)
• Last Synced: 2024-10-19T20:54:51.062Z (7 months ago)
• Topics: elixir, logic-programming, microkanren, minikanren, the-reasoned-schemer
• Language: Elixir
• Size: 54.7 KB
• Stars: 10
• Watchers: 3
• Forks: 0
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Exo

Exo is an implementation of microkanren and minikanren,

to use logic programming in elixir.

## Package

The package is available at [hex.pm/packages/exo](https://hex.pm/packages/exo).

I recommend you using the git master version by :

    {:exo, git: "https://github.com/xieyuheng/exo.git"}

More docs can be found at [hexdocs.pm/exo](https://hexdocs.pm/exo).