你即將離開本站

並前往https://arxiv.org/abs/2109.02814

An Empirical Study of Partial Deduction for miniKanren - arXiv

Although the project is at an early stage, we consider it as the first step towards an efficient optimization framework for miniKanren. Comments ...

確定！ 回上一頁

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