你即將離開本站

並前往http://scheme2006.cs.uchicago.edu/12-byrd.pdf

From Variadic Functions to Variadic Relations - Scheme and ...

We present an implementation of miniKanren, an embed- ding of logic programming in R5RS Scheme that comprises three logic operators. We describe ...

確定！ 回上一頁

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