3

I've been trying hard to implement Minikanren in J,but after making good progress up to lazy streams, conjunction, disjunction, and equivalence constraints, I am now completely stuck on the appendo relation.

Specifically, I'd like help (code, books, documents, etc.) on how to implement something like appendo with J/APL conjunctions/operators since those only allow 2 arguments (4 if yielding a value type).

core implementation

attempts at appendo

Thanks!

Raoul
  • 1,872
  • 3
  • 26
  • 48
  • I think it will be greatly beneficial if you'd share your recently published [paper](http://minikanren.org/workshop/2020/minikanren-2020-paper2.pdf) and [reference implementation](https://github.com/Rscho314/mk) as an answer. I wanted to do that myself, but then realized that you are its author :) Great job! – 9214 Aug 27 '20 at 17:53
  • @9214 Hi and thanks! Although the preprint shows basic unification tasks, MicroKanren in J is not completely solved yet. In particular, making ternary (and more) relations is not supported yet. I am hard at work to make that (and more) happen soon, though. Stay tuned! – Raoul Aug 31 '20 at 16:29

0 Answers0