你即將離開本站

並前往https://2019.programmingconference.org/home/icfp-2021/minikanren-2021

miniKanren 2021 - ICFP 2021 - Conferences

The miniKanren and Relational Programming Workshop is a new workshop for the miniKanren family of relational (pure constraint logic programming) languages: ...

確定！ 回上一頁

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