你即將離開本站

並前往https://news.ycombinator.com/item?id=18698718

Minikanren – An embedded DSL for logic programming

It's a book that introduces a dialogue for learning the language, how it's implemented, and its principles. The principles of relational ...

確定！ 回上一頁

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