序言中的普遍和存在量词

Question

如何在prolog中实现以下规则。

我将“没有蜘蛛是哺乳动物”这句话写成存在主义和普遍性：

¬∃x(mammals(X) ∧ spider(X) ) //It is not the case that mammals are spider

∀X(mammals(X) ⇒ ¬spider(X)) //All mammals are non-spider.

Answer 1

假设您有一个包含以下事实的数据库：

mammals(cat).
mammals(dog).
 ...

spider(blackwidow).
 ...

现在你可以非常简单地将你的句子重写成一个prolog查询：

¬∃x（哺乳动物（X）∧蜘蛛（X））//不是哺乳动物是蜘蛛的情况

?- \+((mammals(X), spider(X))).
true.

和

∀X（哺乳动物（X）⇒蜘蛛（X））//所有哺乳动物都是非蜘蛛。

?- forall(mammals(X), \+spider(X)).
true.