logic-programming - 为什么在 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)

Wny 程序不能正确地将英寸转换为米吗？应该看到一米有 39.37 英寸，并应用倒数规则换算另一种方式。所以它应该打印出 0.0234，但它实际上打印出

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

Answer 1

这是一个错误。更正现已在变更集 b1a5df9中完成，并将在下一个版本中提供。同时，您可能希望在系统上应用变更集。