你即將離開本站

並前往https://www.semanticscholar.org/paper/Relational-programming-in-minikanren%3A-techniques%2C-Friedman-Byrd/ded4919de4aadeb36caac2e6cf6d806582bcaa78

[PDF] Relational programming in minikanren: techniques ...

This dissertation presents miniKanren, a family of languages specifically designed for relational programming, and which supports a variety 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.