prolog - prolog 中的全称量词和存在量词

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.