10.5 Знаходження зразу всіх розв’язків.

Як ми вже зазначали раніше, для задання ітераційних процесів в Пролозі, використовується бектрекінг, або ж рекурсія. Рекурсія - більш потужніший засіб. Вона, використовуючи апарат формальних аргументів, може передавати інформацію від одного виклику до іншого. Іншими словами, рекурсія дозволяє відсліджувати часткові результати, аналізувати лічильники.

Але іноді виникає проблема, яку важко вирішити і за допомогою рекурсії. Нехай вам потрібно знайти зразу всі розв’язки задоволення цілі, як частини єдиної складної структури даних. Пролог вирішує дану проблему за допомогою предикату findall, який приймає ціль як один із своїх аргументів, збираючи всі розв.язки цієї цілі в один список.

Предикат findall має три аргументи:

- перший аргумент VarName визначає який з аргументів в зазначеному предикаті потрібно відібрати в список.

- другий, Мypredicate, визначає предикат, з якого будуть збиратись значення.

- третій аргумент, ListParam, з змінною, якою позначається список значень, зібраних через перебір з поверненнями.

Зазначимо, що попередньо повинна бути визначена область, до якої повинні належати значення ListParam.

Наступна програма використовує findall, для визначення середнього віку групи людей.

domains

name, address = string

age = integer

list = age*

predicates

person(name, address, age)

sumlist(list, age, integer)

goal

findall(Age, person(_, _, Age), L),

sumlist(L, Sum, N),

Ave = Sum/N,

write(|Average =|, Ave), nl.

clauses

sumlist([], 0, 0).

sumlist([H|T], Sum, N) :- sumlist(T, S1, N1), Sum=H+S1,

N=1+N1.

person(|Sherlock Holmes|, |22B Baker Street|, 42).

person(|Pete Spiers|, |Apt. 22, 21st Street|, 36).

person(|Mary Darrow|, |Suite 2, Omega Home|, 51).

В цій програмі фраза findall створює список L, який містить числа, які відповідають віку всіх людей з предикату person. Якщо ви бажаєте зробити список людей вік яких 42 роки, тоді ви можете написати ціль

findall(Who, person(Who,_,42), List).

10.6 Складні списки.

Часто вам потрібно зберігати комбінацію різних типів елементів всередині одного списку, як наприклад

[2,3,5,12,[Food,|goo|], |new|]

Складними будемо називати списки, які містять більше одного типу аргументів. Нам будуть потрібні спеціальні декларації, щоб обробити списки багатотипних елементів, тому що Пролог вимагає, щоб всі елементи списку належали одній області. Для опису різнотипних списків потрібно використовувати функтори.

Наступний приклад декларації області для списку, який може мати символ, ціле число, літеру, стрічку або ж список із них. Декларація списку повинна мати функтор, а потім повинна бути декларована рекурсивно. Так, попередній список повинен бути описаний:

domains

llist = l(list). s(symbol). i(integer). c(char). t(string)

list = llist *

І буде задаватись в Пролозі:

[i(2),і(3),i(5),i(12), [c(food),s(«goo»)],s(«new»)]

Наступний приклад з предикатом append показує як використовувати такий опис:

domains

llist = l(list). s(symbol). i(integer). c(char). t(string)

list = llist *

predicates

append(list, list, list)

goal

makewindow(1,7,7, |answer|,15,0,8,80),

/*Note how you can use the same code but need functors *

* append([likes,[bill,mary]],[bill,sue],Ans) */

append([s(likes),l([s(bill),s(mary)])],[s(bill),s(sue)],Ans), */

write(|First List:|, Ans), nl,nl,

/*The trick is to write the list first, than add the functors *

* append([apple,[[[47], .1.]], [[[|This is a string|,b,7, *

* .w.]],bee], [.c.], Ans2) */

*

append([l[s(|This|), s(|is|,s(|a|),s(|list|))]), s(bee)],

[c(.c.)], Ans2),

write(|Second List :|, Ans2), nl.

clauses

/* Concatenate two lists */

append([], L, L).

append([X|L1], L2, [X|L3]) :- append(L1, L2, L3).