你即將離開本站

並前往https://www.x-mol.com/paper/1265406033280409600

miniKanren as a Tool for Symbolic Computation in Python,arXiv

We detail the use of miniKanren as an underlying framework for term rewriting and symbolic mathematics, as well as its ability to ...

確定！ 回上一頁

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