Prolog - resolution

Question

Я делаю разрешение разрешения в формальной логике с использованием таблицы истинности и результатов программы прогона моих экспериментов, и я хочу знать почему.

В данном случае проблема в простом английском: 1. Если кто-то смотрит в глаза истребителю, он разозлится. 2. Если истребитель рассердится, он собирается ударить.

Если истребитель ударил, кто-то заглянул в глаза бойца?

«Истребитель ударил» - это заключение, и мы знаем, когда вывод верен, предпосылка может быть ложной или истинной, поэтому мы не можем ответить на вопрос.

Однако после программы пролог SWI возвращает истину:

eyes:-angry. 
angry:-punch. 
punch. 
?-eyes. 
True 

Также

aggregate_all(count, (eyes), Count) 
1 

Может кто-нибудь объяснить это?

Answer 1

Помните, что :- в Прологе должен выглядеть как стрела — стрелкой справа налево, как <==. (На самом деле мы не используем стрелку, чтобы пользователи могли свободно определять пользовательский оператор и использовать его в своих целях, не мешая регулярному коду Пролога.)

Таким образом, все ваши стрелки указывают в неправильном направлении. Вы, вероятно, имел в виду:

angry(true) :- eyes(true). 

punch(true) :- angry(true). 

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

Например, если добавить к этим статьям:

eyes(true). 

Тогда вы получите:

?- punch(T). 
T = true. 

Однако, если вы вместо того, чтобы добавить:

eyes(false). 

тогда вы получите:

?- punch(T). 
false. 

Это показывает, что да, кто-то, должно быть, смотрел на человека в глаза.