你即將離開本站

並前往https://users.soe.ucsc.edu/~lkuper/papers/lambdae.pdf

A pattern matcher for miniKanren or How to get into trouble ...

The λe and matche macros described below allow the miniKanren programmer to take advan- tage of the power and concision of Prolog-style pattern matching with ...

確定！ 回上一頁

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