我对Datalog的概念很陌生,我正在通过pyDatalog来探索它。我正在试验一个单位测量转换器。所以,考虑到一米有多少英寸的事实,它应该能告诉我一英寸有多少英寸。到目前为止,我的代码如下:from pyDatalog.pyDatalog import create_terms as ctermspyDatalog.create_terms('scale') # the long way of doi
我试图使用pyDatalog操作符在==中创建谓词,但是flammableX的定义似乎无效:pyDatalog.create_terms我还试图在pyDataLog谓词中包括比较运算符,但这也不起作用:#pyDatalog.util.DatalogError:Error: left hand side of comparison mu
这可能很简单,但我在任何地方都找不到答案。在Prolog中,当您想要阻止它搜索其他答案时,一旦一个变量已经被实例化,您可以使用!标志(通常称为“切割”标志)。你可以在这个链接中看到它来理解我的意思:max(X,Y,Z) :- X =< Y,!, Y = Z.max(X,Y,X).在pyDatalaog中有这样的东西吗?