core.logic 통합이 맵의 값과 일치하지만 키가 일치하지 않음

Question

다음 두 예제에서 첫 번째 값이 올바른 값 (1)을 반환하는 이유는 알 수 없지만 두 번째 값은 ()을 반환합니다. 결과가 (:key)이거나 솔루션을 찾을 수 없다는 예외가 있었지만 빈 목록은 찾을 수 없습니다.

(l/run* [q] 
    (l/== {:key 1} {:key q})) 

;; BUT IT DOESNT WORK 

(l/run* [q] 
    (l/== {:key 1} {q 1})) 

Answer 1

는 내가 의도 한 행동을 문서화 여부,하지만 source code보고 발견되지 않은, 내 (제한적) 이해에서, 그것은 단지 값이 아닌 키 일어나는지도의 통일과 같다.

unify-with-map*에 구현

, core.logic 첫 번째지도에서 키 :key을 찾아, 그것을 찾을 수없는, 두 번째로 그 값을 조회하고, 통일에 이렇게 보석금. @Arthur Ulfeldt와 같은 해결책이 없기 때문에 ()으로 끝납니다.