3

我一直在努力在 J 中实现 Minikanren，但是在惰性流、合取、析取和等价约束方面取得了良好进展之后，我现在完全陷入了这种appendo关系。

具体来说，我想要帮助（代码、书籍、文档等）如何appendo使用 J/APL 连词/运算符实现类似的东西，因为它们只允许 2 个参数（如果产生值类型，则为 4 个）。

核心实现

追加尝试

谢谢！

4

0 回答 0