Логика и пролог первого порядка

Question

Я пытаюсь понять, как пролог представляет логику первого порядка. Как я могу представить, например, в списке типов животных:

собака (спот).

кошка (nyny).

летать (гарри)

что все животные млекопитающие или насекомые?

Answer 1

Я думаю, что вы имеете в виду только следующее:

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

То есть млекопитающее - это либо собака, либо кошка. Вы должны явно указать категории, которые попадают в эту категорию млекопитающих. То же самое для насекомых.

Связывая это с вашим логическим вопросом первого порядка, первые записи mammal будет читать: для каждого X, где X собака, X также млекопитающее (то же самое для кошки), и так далее.

Answer 2

Я расширил ответ @ 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.