matche上列出

Question

我不知道是否可以使用類似matche做圖案像

=> (defn checko [code r] (matche [code] ([['foo ?a ?b]] (== r [?a ?b])))) 
=> (run* [q] (checko [:foo :u 2] q)) 
    ([:u 2]) 

在core.logic

列表以及向量的東西匹配

作品相當好，但我想不出瞭解如何匹配一個列表（foo：u 2）而不是一個向量。原因是我想用core.logic分析clojure程序。

Answer 1

您的checko應該適用於匹配列表。

Answer 2

從作者本人的情況下保證是不夠的，我已經使用core.match和矢量模式匹配列表（和一般的確實seqs）就好了 - 這是他們應該做的事情。