正确处理Prolog中的动态谓词

Question

我在为机器人系统写知识库。该系统实际上由两部分组成: KB中的规则和传感器读数生成的一组谓词。

例如，可能的规则：

do(stop) :- obstacleDist(N), N<1.
do(shoot(E)) :- canSee(E), enemy(E).

感测系统产生的谓词如下：

canSee(plane).
obstacleDist(3.5).

工作流包括查询传感器生成的谓词，查询规则引擎，然后查询该做什么。(es。do(X))

问题是，如果(例如) canSee谓词不是由传感器生成的，则prolog在查看规则do(射击(E))时会抱怨未定义的过程。

一个可能的解决方法是生成一个基本谓词列表(如规则中的canSee(nothing)) )，但我不确定这是最好的方法。

有什么想法吗？

Answer 1

您需要对谓词进行声明。通过指令:- dynamic(canSee/1).或像canSee(_):-false.这样的规则