core.logic的動態類型關係

Question

在core.logic中定義或使用類型關係的最佳方式是什麼？

我想是這樣的，以獲取表單參數的類型的簡化表示，但該項目的使用會導致各種問題

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

是否有已經爲這個正確的關係可用或者我應該表達這個不同？

Answer 1

雖然當然使用project意味着form絕對必須在這個目標被調用之前被破解。