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

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

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

Здравствуйте! Возникла непонятная для меня ситуация. По заданию (см ниже) необходимо найти десерт, для этого я создала 4 списка по каждому из блюд. но пролог выдает no solution после проверки, и я не знаю, как это можно изменить. кто знает, как изменить проверку, или список исходных блюд, подскажите. Задача: Три журналиста во время завтрака наблюдали за одним человеком. При этом они сделали следующие записи. Жюль. Сначала он выпил виски, затем съел утку с апельсинами и десерт. Наконец, он выпил кофе. Жак. Он выпил аперитив, а затем съел пирог и грушу "прекрасная Елена". Джим. Сначала он выпил виски, затем съел пирог и клубничный шербет. А закончил он завтрак чашкой кофе. (Внимание. Все, что написал один из журналистов,- неправда, другой сделал лишь одну ложную запись, а третий - вообще никогда не лжет.) Попытайтесь, исходя из этих противоречивых сообщений, определить, что выбрал на десерт человек, о котором шла речь? код программы:
Листинг программы 
  1. DOMAINS
  2.     журналист=symbol
  3.     номер=integer
  4.     блюдо=symbol
  5.     содержание=symbol
  6.     
  7.     гипотеза=гипотеза(запись,содержание)    
  8.     запись=запись(журналист,номер)
  9.     
  10.     список_истинности=список_содержаний*    
  11.     список_содержаний=содержание*
  12.     список_журналистов=журналист*
  13.     список_списков=список_блюд* 
  14.     список_блюд=блюдо*  
  15. PREDICATES 
  16.     nondeterm наблюдение(запись,блюдо)
  17.     nondeterm один_из(журналист,список_журналистов)
  18.     nondeterm один_из(список_содержаний,список_истинности)
  19.     nondeterm проверка(гипотеза,список_блюд,список_блюд)
  20.     nondeterm является_блюдом(блюдо,список_блюд,список_блюд)
  21.     nondeterm не_является_блюдом(блюдо,список_блюд,список_блюд)
  22.     nondeterm человек_съел(список_списков)
  23.     nondeterm входит_в(блюдо,список_блюд)   
  24.     
  25. CLAUSES
  26. %  Правила для формирования гипотезы
  27.     один_из(Т,[Т|_]).
  28.     один_из(Т,[_|Остаток_списка]):-один_из(Т,Остаток_списка).   
  29.  
  30. %   Принадлежность элемента списку
  31.     входит_в(X,[X|_]).
  32.     входит_в(X,[_|Хвост]):-входит_в(X,Хвост).   
  33.     
  34. %   Добавление и удаление элемента из списка    
  35.     является_блюдом(B,[],[B]).
  36.     является_блюдом(B,C,C):-входит_в(B,C),!.
  37.     является_блюдом(B,[H|C],[H|C1]):-
  38.         является_блюдом(B,C,C1).    
  39.     
  40.     не_является_блюдом(_,[],[]).
  41.     не_является_блюдом(B,[B|T],T1):-
  42.         не_является_блюдом(B,T,T1).
  43.     не_является_блюдом(B,[H|T],[H|T1]):-
  44.         not(B=H),
  45.         не_является_блюдом(B,T,T1).
  46.  
  47. %  Правила для проверки гипотезы
  48.     проверка(гипотеза(Запись,истина),Список,Что_съел):-
  49.         наблюдение(Запись,Блюдо),
  50.         является_блюдом(Блюдо,Список,Что_съел).
  51.     
  52.     проверка(гипотеза(Запись,ложь),Список,Что_съел):-
  53.         наблюдение(Запись,Блюдо),
  54.         входит_в(Блюдо,Список),
  55.         не_является_блюдом(Блюдо,Список,Что_съел).
  56.  
  57. %  Описание высказываний из условий задачи
  58.  
  59. %Жюль. Сначала он выпил виски, затем съел утку с апельсинами и десерт. Наконец, он выпил кофе.
  60.     наблюдение(запись(жюль,1),"виски").
  61.     наблюдение(запись(жюль,2),"утка_с_апельсинами").
  62.     наблюдение(запись(жюль,3),"десерт").
  63.     наблюдение(запись(жюль,4),"кофе").
  64.     
  65. %Жак. Он выпил аперитив, а затем съел пирог и грушу "прекрасная Елена".
  66.     наблюдение(запись(жак,1),"аперитив").
  67.     наблюдение(запись(жак,2),"пирог").
  68.     наблюдение(запись(жак,3),"груша").
  69.         
  70. %Джим. Сначала он выпил виски, затем съел пирог и клубничный шербет. А закончил он завтрак чашкой кофе.
  71.     наблюдение(запись(джим,1),"виски").
  72.     наблюдение(запись(джим,2),"пирог").
  73.     наблюдение(запись(джим,3),"клубничный_щербет").
  74.     наблюдение(запись(джим,4),"кофе").
  75.  
  76. % Правила поиска решения
  77.     
  78.     человек_съел(Список_блюд):-
  79. %   Формируем базовый список высказываний и гипотез 
  80.     Первое=[виски,аперитив],
  81.     Второе=[утка_с_апельсинами,пирог],
  82.     Десерт=[груша,клубничный_щербет,десерт],
  83.     Наконец=[кофе],
  84.     
  85.     Список=[жюль,жак,джим],
  86.     Список_истинности=[[лжет,прав,прав,прав],
  87.                 [прав,лжет,прав,прав],
  88.                 [прав,прав,лжет,прав],
  89.                 [прав,прав,прав,лжет]],
  90.     
  91.     один_из(С1,Список), 
  92.     Г11=гипотеза(запись(С1,1),прав),    
  93.     Г12=гипотеза(запись(С1,2),прав),
  94.     Г13=гипотеза(запись(С1,3),прав),
  95.     Г14=гипотеза(запись(С1,4),прав),  
  96.         
  97.     один_из(С2,Список), not(С1=С2), 
  98.     Г21=гипотеза(запись(С2,1),лжет),    
  99.     Г22=гипотеза(запись(С2,2),лжет),
  100.     Г23=гипотеза(запись(С2,3),лжет),
  101.     Г24=гипотеза(запись(С2,4),лжет),
  102.         
  103.     один_из(С3,Список), not(С1=С3),not(С2=С3),
  104.     один_из([И1,И2,И3,И4],Список_истинности),   
  105.     Г31=гипотеза(запись(С3,1),И1),  
  106.     Г32=гипотеза(запись(С3,2),И2),
  107.     Г33=гипотеза(запись(С3,3),И3),
  108.     Г34=гипотеза(запись(С3,4),И4),      
  109.     
  110.     проверка(Г11,Первое,Первое),    
  111.     проверка(Г12,Второе,Второе),    
  112.     проверка(Г13,Десерт,Десерт),    
  113.     проверка(Г14,Наконец,Наконец),
  114.     
  115.     проверка(Г21,Первое,Первое),    
  116.     проверка(Г22,Второе,Второе),    
  117.     проверка(Г23,Десерт,Десерт),    
  118.     проверка(Г24,Наконец,Наконец),
  119.     
  120.     проверка(Г31,Первое,Первое),    
  121.     проверка(Г32,Второе,Второе),    
  122.     проверка(Г33,Десерт,Десерт),    
  123.     проверка(Г34,Наконец,Наконец),  
  124.     
  125.     Список_блюд=[Первое,Второе,Десерт,Наконец].
  126.     
  127. GOAL человек_съел([_,_,На_десерт,_]).

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

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

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

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

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

14   голосов , оценка 4 из 5

Нужна аналогичная работа?

Оформи быстрый заказ и узнай стоимость

Бесплатно
Оформите заказ и авторы начнут откликаться уже через 10 минут
Похожие ответы