Программирование на языке Пролог для искусственного интеллекта




Процедурная семантика - часть 2


темный( Z) :-

                          % Предложение 7:

           черный( Z).

                  % любой черный

                                                   % объект является темным

темный( Z) :-

                          % Предложение 8:

           коричневый( Z).           % Любой коричневый

                                                    % объект является темным

ВОПРОС

?-  темный( X), большой( X)    % Кто одновременно темный

                                                     % и большой?

ШАГИ  ВЫЧИСЛЕНИЯ

(1)    Исходный список целевых утверждений:

            темный( X),  большой( X).

(2)    Просмотр всей программы от начала к концу и поиск предложения, у которого голова сопоставима с первым целевым утверждением




Содержание  Назад  Вперед