为什么在pyDatalog中建立一种关系似乎给了我错误的答案？

Question

我对Datalog的概念很陌生，我正在通过pyDatalog来探索它。我正在试验一个单位测量转换器。所以，考虑到一米有多少英寸的事实，它应该能告诉我一英寸有多少英寸。到目前为止，我的代码如下：

from pyDatalog import pyDatalog
from pyDatalog.pyDatalog import create_terms as cterms

pyDatalog.create_terms('scale') # the long way of doing it
cterms('A, B, V')
scale['meter', 'inch'] = 39.3707787
scale[A, B] = 1/ scale[B, A]    
print(scale['inch', 'meter'] == V)

程序不能正确地将英寸转换成米吗？它应该看到，有39.37英寸在一米，并应用互惠规则，以转换相反的方式。所以它应该打印出0.0234，但实际上是打印出来的。

V
----------
39.3707787

Answer 1

是个窃听器。更正现在在变更集b1a5df9中完成，并将在下一个版本中提供。同时，您可能需要在系统上应用更改集。