你即將離開本站

並前往http://kanren.sourceforge.net/

A declarative logic programming system

The miniKanren implementation uses higher-order syntax (to avoid copy_term ) and an advanced evaluator that removes the need for explicit iterative deepening.

確定！ 回上一頁

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