146 得分

Prolog 和 miniKanren 在逻辑编程方面的主要技术区别是什么？