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 · GitHub ). Nevertheless, I’ll see if I can incorporate some of its ideas into Kyle.
biportal
Chrichton
biportal
Ah, I see: The juicy part is at the bottom: Unification algorithm in Elixir. · GitHub
Great, Thorsten
0
pehbehbeh
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