clojure - 当一个（正确的、整数的、非负的）域被乘以一个 lvar 时，Core.logic 错过了 fd/* 的解决方案，在没有域的情况下工作

Question

fd/*处理负数似乎有问题，即使它们只是常数。它在许多情况下都有效。我究竟做错了什么？

(require '[clojure.core.logic :as l]
         '[clojure.core.logic.fd :as fd])

; Works, returns (1):
(l/run* [q] 
        (fd/* -1 q -1))

; Works, returns (1):
(l/run* [q] 
        (fd/in q (fd/domain 1))
        (fd/* -1 q -1))

; Fails, returns ():
(l/run* [q] 
        (fd/in q (fd/domain 0 1))
        (fd/* -1 q -1))