Не находит результат проверки - Prolog

Узнай цену своей работы

Формулировка задачи:

Здравствуйте! Возникла непонятная для меня ситуация. По заданию (см ниже) необходимо найти десерт, для этого я создала 4 списка по каждому из блюд. но пролог выдает no solution после проверки, и я не знаю, как это можно изменить. кто знает, как изменить проверку, или список исходных блюд, подскажите. Задача: Три журналиста во время завтрака наблюдали за одним человеком. При этом они сделали следующие записи. Жюль. Сначала он выпил виски, затем съел утку с апельсинами и десерт. Наконец, он выпил кофе. Жак. Он выпил аперитив, а затем съел пирог и грушу "прекрасная Елена". Джим. Сначала он выпил виски, затем съел пирог и клубничный шербет. А закончил он завтрак чашкой кофе. (Внимание. Все, что написал один из журналистов,- неправда, другой сделал лишь одну ложную запись, а третий - вообще никогда не лжет.) Попытайтесь, исходя из этих противоречивых сообщений, определить, что выбрал на десерт человек, о котором шла речь? код программы:

Решение задачи: «Не находит результат проверки»

textual
Листинг программы
claim(_, X, Y) :-
    ( abstract(X, Y) ; abstract(Y, X) ),
    !.
claim(1, X, X).
claim(0, X, Y) :-
    X \= Y.

ИИ поможет Вам:


  • решить любую задачу по программированию
  • объяснить код
  • расставить комментарии в коде
  • и т.д
Попробуйте бесплатно

Оцени полезность:

14   голосов , оценка 4 из 5
Похожие ответы