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, "понедельник"]
В Турбо Прологе, в связи со строгой типизацией, все элементы списка должны принадлежать одному домену. Однако можно разместить в одном списке объекты разной природы, используя домен с соответствующими альтернативами.
Пример: Создать список объектов разного типа
