AllegroGraph 检查现有三元组

Question

我正在使用 AllegroGraph 4。我有一个三元组存储，并且只有在新的三元组尚不存在时我才会尝试添加它们。

这是我的 Prolog 查询：

(select (?news) (alfas ?news) (a-- ?news !tst:has-annotation !tst:Test)))

其中 alfas 检查条件（工作正常），并且 a-- 的定义如下：

(<-- (a-- ?s ?p ?o)
;; Fails unless all parts ground.
(lisp (not (triple-exists-p ?s ?p ?o)))
(lisp (add-triple ?s ?p ?o)))

我也尝试过这样定义：

(<-- (a-- ?s ?p ?o)
;; Fails unless all parts ground.
(lisp (not (get-triple :s ?s :p ?p :o ?o)))
(lisp (add-triple ?s ?p ?o)))

但无论如何都添加了三元组，没有不管它是否已经存在。为什么？

Answer 1

您的第二次尝试更正确，但您应该使用 lispp 而不是 lisp 来检查三元组是否已存在：

(<-- (a-- ?s ?p ?o)
;; Fails unless all parts ground.
(lispp (not (get-triple :s ?s :p ?p :o ?o)))
(lisp (add-triple ?s ?p ?o)))

您已经看到了此代码，因为您评论了 此处。但您一定没有注意到 lispp 函子，或者理解它作为谓词运行 - 如 文档。