core.logicで型関係を定義または使用するための最良の方法は何でしょうか?
フォーム引数の型を簡略化して表現するためにこのようなことを試みましたが、プロジェクトの使用によりさまざまな問題が発生します
(defn typeo
[form type]
(project [form]
(== type (-> form .getClass .getSimpleName .toLowerCase symbol))))
これにはすでに適切な関係がありますか、それとも別の方法で表現する必要がありますか?