prolog

0зной

1ответ

Развернуть запрос в список в прологе

Как развернуть запрос в список? f(a,b). f(a,c). d(a.d). expand(f(a,X), Out) -----> Out=[b,c,d]

5зной

3ответ

Функция питания в прологе

Что не так с моей функцией питания? pow(_,0,1). pow(X,Y,Z) :- pow(X,Y-1,X*Z). ?- pow(2,3,Z). ERROR: Out of global stack

13зной

1ответ

Как найти все решения для цели в Prolog?

У меня есть предикат P1, который возвращает значения один за другим, как это: -? P1(ARGUMENTS, RETURN). -? RETURN = 1; -? RETURN = 2; -? RETURN = 3; -? fail. У меня также есть другой предикат на

2зной

2ответ

Есть ли алфавитная проверка персонажа в прологе?

Приветствия, Есть ли тест или предикат, который я могу использовать в прологе, чтобы убедиться, что определенный заданный символ является алфавитным? Прямо сейчас, что я делаю: Список неназванных симв

4зной

2ответ

пролог разрешение объединения

Почему это работает: power(_,0,1) :- !. power(X,Y,Z) :- Y1 is Y - 1, power(X,Y1,Z1), Z is X * Z1. И это дает исключение переполнения стека? power(_,0,1) :- !. power(X,Y,Z) :-

2зной

1ответ

Как реализовать хвостовую рекурсию для алгоритмов дерева в прологе

Как преобразовать следующее в хвостовую рекурсивную версию. sum(void,0). sum(t(V,L,R),S) :- sum(L,S1), sum(R,S2), S is V + S1 + S2. Кажется невозможным поддерживать один аккумулятор,

6зной

4ответ

Процедура разницы в списках прологов

Я пытаюсь реализовать процедуру разметки списка в прологе. По какой-то причине следующий сбой: difference(Xs,Ys,D) :- difference(Xs,Ys,[],D). difference([],_,A,D) :- D is A, !. difference([X|Xs],Ys,

4зной

1ответ

Как расширить результирующий список в SWI-Prolog?

?- length(L,25). L = [_G245, _G248, _G251, _G254, _G257, _G260, _G263, _G266, _G 269|...]. Если я использую write (L), следуя предикату длины, тогда интерпретатор печатает список дважды, один расш