序言中的通用和存在量词

Question

如何在序言中实现以下规则。

我把“没有蜘蛛是哺乳动物”这句话写成存在的和普遍的：

¬∃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).
 ...

现在您可以非常简单地将句子重写为序言查询：

¬∃x(mammals(X) ∧ spider(X) ) //哺乳动物不是蜘蛛

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

和

∀X(mammals(X) ⇒ ¬spider(X)) //所有哺乳动物都不是蜘蛛。

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

universal and existential quantifier in prolog