你即將離開本站

並前往https://zh.wikipedia.org/zh-tw/MiniKanren

miniKanren - 維基百科，自由的百科全書

目前，Haskell、Racket、Ruby、Clojure以及Python中有miniKanren的具體實現。其中最典型的實現是Scheme的版本。Clojure語言裡的core.logic也是受到miniKanren啟發。

確定！ 回上一頁

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