你即將離開本站

並前往https://www.zenlife.tk/micro-kanren.md

microKanren 学习笔记

最近学习miniKanren，把《the reasoned schemer》看了一下。然后是看了下microKanren，这篇paper µKanren: A Minimal Functional Core for Relational ...

確定！ 回上一頁

查詢 「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.