core.logic 的动态类型关系

Question

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

我尝试过这样的方法来简化表单参数类型的表示，但项目使用会导致各种问题

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

是否已经有适当的关系可用，还是我应该用不同的方式表达？

Answer 1

当然，使用project 是可行的，这意味着在调用这个目标之前绝对必须先磨平form。