logic-programming - 如何求解pyDatalog中的方程？

Question

pyDatalog页面展示了如何实现阶乘算法来计算 N！价值观。是否可以修改它（例如使用谓词）以解决 N 中的 N！将等于给定值（例如 6）？

from pyDatalog import pyDatalog
pyDatalog.create_terms('factorial, N')

factorial[N] = N*factorial[N-1] 
factorial[1] = 1
print(factorial[3]==N)  # prints N=6

但我想问：

print(factorial[N]==6)  # and receive N=3

不幸的是这种情况 pyDatalog 说：

DatalogError: Error: left hand side of comparison must be bound: >/2