prolog - 一次論理とプロローグ

Question

プロローグが一次論理をどのように表しているかを理解しようとしています。たとえば、動物の種類のリストでどのように表すことができますか:

犬（スポット）。

猫（ニニー）。

ハエ（ハリー）

すべての動物は哺乳類か昆虫か？

Answer 1

@ Diego Sevillaの回答を拡張して、動物とは何かという元の質問を含め、処刑を追加しました.

% Your original facts
dog(spot).
cat(nyny).
fly(harry).

% @ Diego Sevilla's predicates
mammal(X) :- dog(X).
mammal(X) :- cat(X).
insect(X) :- fly(X).

% Defining what an animal is - either insect or (;) mammal
animal(X) :- insect(X) ; mammal(X). 

% Running it, to get the names of all animals
?- animal(X).
X = harry ;
X = spot ;
X = nyny.

Answer 2

あなたが言及しているのは次のことだけだと思います：

mammal(X) :- dog(X).
mammal(X) :- cat(X).
insect(X) :- fly(X).

つまり、哺乳類は犬か猫のどちらかです。その哺乳類のカテゴリに分類されるカテゴリを明示的に指定する必要があります。昆虫も同じ。

これを一次論理の質問に関連付けると、 の最初のエントリは次のようにmammalなります。 X が犬であるすべての X について、X も哺乳類 (猫も同様) などです。