Fact(0,1).

fact(K,F):-K1=K-1, fact(K1,F1), F=F1*K.

Введем запрос:

Goal: fact(0,X), write(”X= ”,X), nl, fail.

Получим Х=1, и процесс зациклится, так как Пролог пытается сделать попытку сопоставить fact(0,X) со вторым утверждением:

fact(K,F):-…

Сопоставление будет успешным, и теперь он попытается доказать цель fact(0,F1), что в свою очередь приводит к цели fact(-1,F1) и т.д.

Можно устранить такие ситуации, используя отсечение, при этом указывая Прологу, что не существует других решений в случае успешного согласования граничного условия.

fact(0,1):-!.

fact(K,F):-K1=K-1, fact(K1,F1), F=F1*K.

Введем запрос:

Goal: fact(0,X), write(”X= ”,X), nl, fail.

Получим единственное решение.

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

Списки

Список – упорядоченная последовательность элементов произвольной длины.

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

Пример. Варианты списков

[monday, tuesday, wednesday, thursday, friday, saturday, sunday] — список, элементами которого являются английские названия дней недели;

[1, 2, 3, 4, 5, 6, 7] — список, элементами которого являются номера дней недели;

['п', 'в', 'с', 'ч', 'п', 'с', 'в'] — список, элементами которого являются первые символы русских названий дней недели;

[ ] — пустой список, т.е. список, не содержащий элементов.

Элементы списка могут быть любыми, в том числе и составными объектами. В частности, элементы списка сами могут быть списками.

В разделе описания областей определения списки описываются следующим образом:

Domains

<имя спискового домена>=<имя домена элементов списка>*

Звездочка после имени домена указывает на то, что задается список, состоящий из объектов соответствующего типа.

Пример.

listI = integer* /* список, элементы которого —

целые числа */

listR = real* /* список, состоящий из вещественных

чисел */

listC = char* /* список символов */

lists = string* /* список, состоящий из строк */

listL = listI* /* список, элементами которого являются

списки целых чисел */

Последнему примеру будет соответствовать список вида:

[ [1,3,7] , [] , [5,2,94] , [–5,13] ]

В классическом Прологе элементы списка могут принадлежать разным доменам, например: [monday, 1, "понедельник"]