你即將離開本站

並前往https://wiki.hk.wjbk.site/baike-MiniKanren

miniKanren - 中文维基百科【维基百科中文版网站】

miniKanren 是一类关系型编程语言。miniKanren可以通过给定的关系表达式和计算结果来反向推导，找出符合条件的输入变量的取值组合。

確定！ 回上一頁

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