我是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