我试图了解序言如何表示一阶逻辑。例如，如何在动物类型列表中表示:
狗(点)。
猫(nyny)。
飞(哈里)
所有的动物都是哺乳动物还是昆虫？
最佳答案
我认为您指的是以下内容:
mammal(X) :- dog(X).
mammal(X) :- cat(X).
insect(X) :- fly(X).
也就是说，哺乳动物要么是狗，要么是猫。您必须明确指定属于该哺乳动物类别的类别。昆虫也一样。
将其与您的一阶逻辑问题联系在一起，
mammal的第一项应显示为:对于每个X，其中X是狗，X也是哺乳动物(与猫相同)，依此类推。