Logos v0.2: or Life w/o Tail Call Optimization

[David Nolen]

I just pushed out a new release of Logos, my implementation of miniKanren. At this point it's now pretty original, v0.1's goal and goal constructor code was mostly a port. Because of that it suffered as the original implementation assumed TCO. I rewrote that portion of the code from scratch to use lazy sequences. I'm pleasantly surprised to find that lazy sequences can deliver many of the benefits of TCO.

It's also 2X faster than v0.1.

https://github.com/swannodette/logos

David

[jim]

David,

I started looking at Logos tonight. Really nice. I like the way its
heading. Looking forward to using it.

Jim

[David Nolen]

Thanks! Next steps are:

- disequality constraints

- nominal logic

- tabling

Once those are in, I think that's a good foundation to pursue:

- a Clojure type inferencer

- syntax-rules / syntax-case

If anyone's interested in helping out let me know :)

David