为什么逻辑“和”谓词不起作用?

测试时间 datascript 1.3.0

数据:

[{:db/id -1 :name "Smith" :firstname "Oliver" :age 20}
 {:db/id -2 :name "Jones" :firstname "Oliver" :age 20}
 {:db/id -3 :name "Smith" :firstname "Amelia" :age 16}
 {:db/id -4 :name "Jones" :firstname "Amelia" :age 16}]

尝试使用逻辑查询 and 下面的谓词谁叫Smith,年龄超过18岁,为什么它会返回未经过滤的整个集合?

'[:find ?firstname ?name
  :where
  [?p :name ?name]
  [?p :firstname ?firstname]
  [?p :age ?age]
  [(and (= ?name "Smith") (> ?age 18))]]

;;; wrong result: #{[Oliver Smith] [Oliver Jones] [Amelia Smith] [Amelia Jones]}

然后改为使用离散谓词进行查询,得到了令人满意的结果。

'[:find ?firstname ?name
  :where
  [?p :name ?name]
  [?p :firstname ?firstname]
  [?p :age ?age]
  [(= ?name "Smith")]
  [(> ?age 18)]]

;;; correct result: #{[Oliver Smith]}

做 datomic 和 datascript 或 datalog 通常只支持分散到离散子句的数据模式?是传统的逻辑运算吗 和 等等在这里不兼容?