Практическая информатика




Решение логических задач - часть 2


/* У всех ребят разные места */ решение(X1,Y1,X2,Y2,X3,Y3) :- X1=петя, соответствие(X1,Y1), X2=коля, соответствие(X2,Y2), X3=алеша, соответствие(X3,Y3), Y1\=Y2, Y2\=Y3, Y1\=Y3.

Для получения ответа следует выполнить запрос

?- решение(X1,Y1,X2,Y2,X3,Y3).

В ответ Пролог выдаст имена ребят и занятые ими места. Проверьте, есть ли другие варианты ответов.

Пример

Витя, Юра и Миша сидели на скамейке. В каком порядке они сидели, если известно, что Миша сидел слева от Юры, а Витя слева от Миши.

В условии задачи перечисляются объекты одного типа, связанные между собой. Заполним базу данных:

/* Миша сидел слева от Юры */ слева(юра,миша).

/* Витя сидел слева от Миши */ слева(миша,витя).

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

/* Объекты X, Y и Z образуют ряд, если X слева от Y и Y слева от Z */

ряд(X, Y, Z) :- слева(Y, X), слева(Z, Y).

Количество аргументов в голове данного правила равно количеству объектов в задаче. Запрос ?- ряд(X, Y, Z). даст нам решение задачи.

Задание

Решите следующие логические задачи с помощью интерпретатора Пролога.

  1. Трое ребят вышли гулять с собакой, кошкой и хомячком. Известно, что Петя не любит кошек и живет в одном подъезде с хозяйкой хомячка. Лена дружит с Таней, гуляющей с кошкой. Определить, с каким животным гулял каждый из детей.

    Подсказка: прежде всего составьте таблицу, как в примере 1.

  2. Витя, Юра и Миша сидели на скамейке. В каком порядке они сидели, если известно, что Юра сидел слева от Миши и справа от Вити.




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