Определить, кто куда купил билет и по какой цене?

Добрый день уважаемые форумчане.
Только начал изучать пролог, в инете полно задач про пап и мам и сыновей, или про детей и спорт. Везде в них четкое описание факта. У меня в задаче наоборот, задействовано отрицание. И как это записать не понимаю….
Петя, Шура и Сергей купили билеты в тир, игротеку и зазеркалье, по цене 2р, 3р и 5р.
Петя купил билет не в тир. Шура не в игротеку. Тот кто купил билет в тир не платил 5р. Тот кто пошел в игротеку заплатил 3р. Шура не платил за билет 2р.
Определить кто куда купил билет и по какой цене.
Помогите пожалуйста.

0

Например, один из возможных подходов можно посмотреть здесь: Задачка про сбор урожая

0

Значит нужно решать через списки? Спасибо, буду разбираться.

Добавлено через 7 минут
Кстати, у вас там на скринах пролог прекрасно хавает русские буквы. Это какая версия?

0

Сообщение от oleg526 Значит нужно решать через списки?

Не обязательно, просто один из возможных подходов.

Общая схема решения подобных задач такая:
1) генерация очередного варианта
2) проверка его по условиям задачи
3) если проверка пройдена, результат получен - вывод
4) если проверка не пройдена, происходит неуспех и откат на пункт 1

Как вариант, в самом конце, после печати результатов можно поставить принудительный неуспех (fail),
тогда программа не ограничится поиском первого варианта решения, а будет перебирать все возможные

Сообщение от oleg526 Кстати, у вас там на скринах пролог прекрасно хавает русские буквы. Это какая версия?

SWI вообще спокойно кушает русские буквы, во всяком случае, с тех пор, как я с ним знаком.
Версия там вроде указана:

Сообщение от Black Fregat Welcome to SWI-Prolog (Multi-threaded, 32 bits, Version 5.10.2)

Turbo вообще живет в единственной версии 2.0. Он с русскими буквами работает только в строках и комментариях, в именах переменных и предикатов не кушает. Но проблема чаще всего не с самим Turbo, а с DosBox, в котором его запускают. DosBox "из коробки" русские шрифты не поддерживает, нужны некоторые действия по русификации.

1