Sure! „GenSolver: A Generic constraint Solver for Elixir”.
Best,
Thorsten
I looked at miniKanren mentioned as an alternative to the proposed Kyle language (“Knowledge-Yielding Language Extension”). But frankly speaking, I think it is too esoteric for practical applications and every-day programmers. It has only 3 operators (“==” (unification), “fresh” (associations), and “conde” (cases)), but remains too close to scheme syntax to be easily interoperable with Elixir (see GitHub - lyons/ExKanren: Relational programming in Elixir ). Nevertheless, I’ll see if I can incorporate some of its ideas into Kyle.
Hi Thorsten.
Have a look at:
Maybe, that’s interesting to you.
Greetings from Heiko
Ah, I see: The juicy part is at the bottom: Unification algorithm in Elixir. · GitHub
Great, Thorsten
Shameless plug for anyone in or around Kiel: We’re starting our first Elixir meetup in Kiel, and everyone is welcome! I have created a separate thread for the Kiel meetup here:
1 Like
