Clojure core.logic的动态类型关系

在core.logic中定义或使用类型关系的最佳方式是什么

我尝试了类似的方法来获得表单参数类型的简化表示，但是项目使用会导致各种问题

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

---

这已经有了一个适当的关系，或者我应该用不同的方式来表达吗？

当然可以使用

项目

意味着

形式

必须在实现这个目标之前得到充分的支持。

当然可以使用

项目

意味着

形式

绝对必须在实现这一目标之前，我们必须脚踏实地