我不确定为什么下面的代码在使用 -5 作为域值之一时不返回任何结果
user=> (run* [q] (infd q (domain -5 5)) (*fd q q 25))
()
user=> (run* [q] (infd q (domain 0 5)) (*fd q q 25))
(5)
注意:此代码引用 core.logic 0.8.0 beta 中的行为。
目前 core.logic 0.8.0 测试版中根本不支持具有负值的域。如果它起作用了,那完全是偶然的。我不打算在不久的将来亲自努力添加对此的支持,尽管在 0.8.0 得到适当的发布后,一个全面的补丁将受到欢迎。
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)