Пролог застревает после выдачи результата - PullRequest
Новая
       37

Пролог застревает после выдачи результата

0 голосов
/ 17 мая 2019

Итак, у меня есть эта база знаний, и я пытаюсь достичь целей в коде, приведенном в комментариях. 

%format of foo: foo(Tag,NumList) 
foo(a, [2, 4]). 
foo(b,[2, 8, 8, 6,2]). 
foo(c,[4, 8, 8, 8, 7]). 
foo(d,[7, 8, 8, 2]). 
foo(e,[5, 8, 9, 6]).
foo(f,[2, 5]). 
foo(g,[2, 6]). 
foo(h, [2, 8, 2]). 
foo(i, [2, 8, 8, 2]).
foo(j, [2, 3]).

Однако существует проблема с частью слизистой оболочки. Когда я даю goo Total_num и получаю унифицированные результаты для Foo_list, он дает результаты, но после этого он просто застревает. Ничто не работает, и мне приходится все время закрывать переводчика.

Я пытался нанести порезы помощникам, но ничего не работает. Также, когда я изменяю порядок предикатов в goo (помещая goo_ordered впереди), он не дает список, а просто застревает. Как я могу решить эту проблему? Что вызывает это?

Спасибо 

%returns the sum of the numbers the NumList
foo_sum(Tag,SUM):- foo(Tag,List),foo_sum_helper(List,SUM).

foo_sum_helper([],0).
foo_sum_helper([H|T],Result):- foo_sum_helper(T,Prev_result), Result is H + Prev_result.

%foo diff find the last number in the list.
%It should remain the if it is less than or equal to four, otherwise substract 8 from it
foo_diff(Tag,Diff):- foo(Tag,List),foo_diff_helper(List,Diff).

foo_diff_helper([Last],Result):- Last =< 4, Result is Last,!.
foo_diff_helper([Last],Result):- Last > 4, Result is Last - 4,!.
foo_diff_helper([_,X|T],Result):- foo_diff_helper([X|T], Result).

%goo takes a list of foo's and a number that represents the total number of each foo_sum of foo's.
%Total of foo_diff must be 0
%Also the list of foo's must be in the ascending order.(foo_sum of the first foo in the list is the least one.)

goo(Foo_list,Total_num):- goo_sum(Foo_List,Total_num),goo_diff(Foo_list,0),goo_ordered(Foo_list).

goo_ordered([]).
goo_ordered([_]).
goo_ordered([X,Y|Z]):- foo_sum(X,NUMX),foo_sum(Y,NUMY),NUMX =< NUMY, goo_ordered([Y|Z]).

goo_sum([X],RESULT):- foo_sum(X,RESULT).
goo_sum([H|T],RESULT):- goo_sum(T,PREV_RESULT),foo_sum(H,NUMH), RESULT is NUMH + PREV_RESULT.

goo_diff([X],RESULT):- foo_diff(X,RESULT).
goo_diff([H|T],RESULT):- goo_diff(T,PREV_RESULT),foo_diff(H,HDIFF), RESULT is HDIFF + PREV_RESULT.

1 Ответ

2 голосов
/ 17 мая 2019

Что вызывает это?

Предполагая, что вы имеете в виду цикл goo_sum(X, 20):

На запрос я получаю довольно много ответов. На самом деле, слишком много для меня. Поэтому вместо этого я рассмотрю 

?- goo_sum(X, 20), false.

который зацикливается. Причина заключается в следующем очень компактном 

<s>goo_sum([X],RESULT):- <b>false</b>, foo_sum(X,RESULT)</s>.
goo_sum([H|T],RESULT):-
   goo_sum(T,PREV_RESULT), <b>false</b>,
   <s>foo_sum(H,NUMH), RESULT is NUMH + PREV_RESULT</s>.

Вам нужно как-то исправить оставшуюся часть, иначе петля останется.

Кстати, использование имен как foo и goo не очень хорошая идея. Я все еще не понимаю вашу программу, и вы тоже, я полагаю.

Сначала я бы предпочел придерживаться небольших программ Также рассмотрите возможность использования вместо смоделированной арифметики через (is)/2. Здесь является таким предложенным улучшением & ndash; для вопроса вашего коллеги, по-видимому.

И: Вы получили некоторые предупреждения от системы об одноэлементной переменной, вам все равно нужно это исправить. Это s/Foo_List/Foo_list/

...