文章/答案/技术大牛

发布

社区首页 >问答首页 >如何在pyDatalog中创建算术谓词？

问如何在pyDatalog中创建算术谓词？
EN

Stack Overflow用户

提问于 2017-06-24 00:48:01

回答 1查看 188关注 0票数 0

如何将这种算术谓词转换为合法的pyDatalog谓词？

add(X，Y，Z)←X+Y=Z

例如：

？添加(5，7，Z)。

答案应该是: add(5，7，12)。

谢谢!

logic-programming

datalog

pydatalog

python

python-2.7

回答 1

Stack Overflow用户

发布于 2017-07-28 22:24:23

add(X, Y, Z) <= (Z == X + Y)

票数 1

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/44726388

复制

相似问题

问如何在pyDatalog中创建算术谓词？
EN

回答 1

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问如何在pyDatalog中创建算术谓词？EN

回答 1

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问如何在pyDatalog中创建算术谓词？
EN