Почему создание отношений в 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

Это ошибка. Коррекция теперь выполняется в changeset b1a5df9 и будет доступна в следующем выпуске. Тем временем вы можете применить набор изменений в своей системе.