Prolog 动态谓词基本用法

Question

使用此知识库 https://swish.swi-prolog.org

:- dynamic happy/1.

go:-
    assert(happy(mia)),
    write(happy(mia)).

如果我运行go。我得到

happy(mia)
true

如果我有

:- dynamic happy/1.

assert(happy(mia)).

并运行happy(mia)，我得到false。

请问我缺少什么基本概念？

Answer 1

当你写下:

assert(happy(mia)).

您正在(重新)定义谓词 assert/1 ，而不是像 go/0 的定义中那样调用它谓词。因此，happy(mia) 从不添加到数据库中。由于谓词 happy/1，查询失败系统知道(感谢 dynamic/1 指令)，但没有子句。

大多数 Prolog 系统都阻止重新定义标准内置谓词。但是assert/1是遗留/已弃用的谓词。这就解释了为什么 SWI-Prolog 不会提示重新定义。始终使用标准assertz/1谓词而不是 assert/1 .