你即將離開本站

並前往http://c-lambda.se/guile-log/minikanren.html

minikanren (Preliminary Manual)

minikanren is a more modern streamlined kanren. The traditional implementation is interesting, but we implement the semantic differently using guile-log ...

確定！ 回上一頁

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