你即將離開本站

並前往https://swmath.org/software/20082

miniKanren - Mathematical software - swMATH

miniKanren is an embedded Domain Specific Language for logic programming. miniKanren has been implemented in a growing number of host ...

確定！ 回上一頁

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