core.logic에 대한 동적 유형 관계

Question

core.logic에서 형식 관계를 정의하거나 사용하는 가장 좋은 방법은 무엇입니까?

나는 형식 인수의 형태의 단순화 된 표현을 얻기 위해 이런 식으로 뭔가를 시도했지만 프로젝트의 사용은

(defn typeo 
    [form type] 
    (project [form] 
    (== type (-> form .getClass .getSimpleName .toLowerCase symbol)))) 

는 이미 이것에 대한 적절한 관계가 아니면 내가 이것을 표현해야 여러 가지 문제가 발생 다르게?

Answer 1

물론 이것은 project을 사용하더라도이 목표를 호출하기 전에 반드시 form을 연마해야한다는 것을 의미합니다.