你即將離開本站

並前往https://dl.acm.org/doi/10.1145/2661103.2661105

miniKanren, live and untagged - ACM Digital Library

We present relational interpreters for several subsets of Scheme, written in the pure logic programming language 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.