궁금하지만, 나는 이해할 수 없었다 벡터 대신 목록 (foo : u 2)을 매치하는 법을 배웁니다. 그 이유는 core.logic을 사용하여 clojure 프로그램을 분석하려고하기 때문입니다.matche는
Q
matche는
1
A
답변
1
체크리스트는 일치하는 목록에 적합합니다.
+0
실제로 그렇습니다. 문제가 무엇이든지간에 나는 그것을 재현 할 수 없다. 나는 그것을 다시 생각해야 할 것이다 :-) 어쨌든 고마워. –
0
작성자 자신의 보증이 충분하지 않은 경우 core.match 및 벡터 패턴 일치 목록 (실제로는 일반적으로 seqs)을 사용해 보았습니다. 이것이 그들이해야 할 일입니다.
좋아, 그냥 (defn checko [코드 r] (matche [(vec 코드)] ([[foo? a? b]] (== r [? a? b])))))) –