你即將離開本站

並前往https://www.zhihu.com/question/34416029

能不能有人简单的解释下miniKanren 的实现方式？ - 知乎

miniKanren 的实现不就是合一和回溯么，这有什么难理解的。而且不知道比Prolog丑到哪里去了(逃. 合一看. Relational programming in miniKanren: Techniques, ...

確定！ 回上一頁

查詢 「Minikanren」的人也找了：

  1. Minikanren
    2.
  2. Minikanren java
    3.
  3. Python kanren
    4.
  4. Clojure core logic tutorial
    5.
  5. Logic programming
    6.
  6. Python Prolog
    7.
  7. Pyswip
    8.
  8. PyLog
    9.