【发布时间】:2015-07-20 19:30:26
【问题描述】:
在新版本的 logicblox(任何高于 4.2.1 的版本)中,如果存在谓词“Person(p), hasPNr(p:n) -> int(n)”。 然后我插入一个数据“+Person(p),+hasPNr[p]=1”。 然后如果我想通过“-Person(1)”删除数据。 将出现一条警告消息“警告:表达式‘1’的类型为‘int’,但需要‘Person’类型的值。编译器已插入谓词‘hasPNr’的使用以允许编译代码。” 如果没有此消息,如何删除数据?
【问题讨论】: