ПРИЛОЖЕНИЕ 2. ВСТРОЕННЫЕ ПРЕДИКАТЫ И ОПЕРАТОРЫ
| Предикат/оператор | Описание |
| write(Term) | Вывести в текущий поток вывода Term. |
| read(Term) | Извлечь из текущего потока вывода следующий терм и унифицировать его с Term. Ввод дожжен заканчиваться точкой. |
| tell(File) | Открыть файл для записи и перевести на него текущий поток вывода. |
| told | Перевести текущий поток вывода на стандартный поток вывода. |
| see(File) | Открыть файл для чтения и перевести на него текущий поток ввода. |
| seen | Перевести текущий поток ввода на стандартный поток ввода. |
| append(List1,List2, List3) | Успешен, когда список List3 унифицируем с объединением списков List1 и List2. Все аргументы могут быть свободными переменными. Результат унификация соответствующих списков. |
| append(ListOfLists, List) | Успешен, когда объединение списка списков ListOfLists унифицируем со списком List. Результат: унификация соответствующих списков. |
| member(Elem, List) | Успешен, когда Elem унифицируем с одним из элементов списка List. Результат – унификация соответствующего элемента списка с Elem. |
| nextto(X, Y, List) | Успешен, когда Y следует непосредственно за X в списке List. |
| delete(List1, Elem, List2) | Удалить все элементы списка List1 унифицируемые с Elem. Результат помещается в List2. |
| select(Elem, List, Rest) | Успешен, когда Rest является списком List с удалённым элементом Elem. То есть этим предикатом можно удалять и вставлять элементы списка. Пример: ?- select(a,L,[1,2,3]). L = [a, 1, 2, 3] ; L = [1, a, 2, 3] ; L = [1, 2, a, 3] ; L = [1, 2, 3, a] ; false. |
| nth0(Index, List, Elem) | Успешен, когда элемент спика List с номером Index унифицируем с Elem. Отсчёт номеров элементов начинается с 0. |
| nth1(Index, List, Elem) | Тоже, что и nth0/3, но отсчёт номеров элементов начинается с 1 |
| last(List, Elem) | Успешен, когда Elem унифицируется с последним элементом списка List. Если хвост списка List не определён, то при бектрекинге хвост будет увеличиваться. |
| reverse(List1, List2) | Изменяет порядок элементов List1 и унифицирует результат с List2. |
| permutation(List1, List2) | Успешен, когда список List1 образован из списка List2 перестановкой элементов. |
| sumlist(List, Sum) | Унифицирует Sum с суммой элементов списка List. |
| max_list(List, Max) | Унифицирует Max с максимальным элементом списка List. |
| min_list(List,Min) | Унифицирует Min с минимальным элементом списка List. |
| IntExpr1 mod IntExpr2 | Остаток от деления IntExpr1 на IntExpr2. |
| IntExpr1 // IntExpr2 | Целая часть от деления IntExpr1 на IntExpr2 |
| sleep(Time) | Приостановление выполнения на Time секунд. |
| Term =.. List | Выражение истинно когда терм Term инициализируется с термом соответствующим списку List, головой которого является функтор терма, а оставшийся хвост представляет собой список аргументов терма. Пример: ?- a(b(1),2,3,X)=..L. L = [a, b(1), 2, 3, X]. ?- a(b(1),2,3,X)=..[a,b(X)|_]. X = 1. ?- a(Y,2,3,X)=..[a,b(2)|_]. Y = b(2). ?- Term=..[a,b,c(4),1,2,3,X]. Term = a(b, c(4), 1, 2, 3, X). Таким образом с помощью данного оператора можно конструировать термы из элементов и «разбирать» их на элементы. |
| call(Goal) | «Запустить на выполнение» предикат хранящийся в Goal. Этот предикат может потребоваться, например, после конструирования предиката предыдущим оператором. Пример: ?- assert(a(1)). ?-read(Y),X=..[a,Y],call(X) . |: 1. Y = 1, X = a(1). ?- read(Y),X=..[a,Y],call(X) . |: 23. false. |
| op(Precedence, Type, Name) | Объявление операторной формы с именем Name, приоритетом Precedence и типом Type для предиката с именем Name. Новые операторы можно вводить для увеличения удобства записи нужных предикатов (пример на с. 17) |
Больше информации о встроенных предикатах можно найти во встроенной в SWI-Prolog англоязычной справке. Для доступа к ней из командного окна выбрать меню Help->Online Manual либо набрать запрос ?-help. Поиск в справке (по функтору) можно осуществлять в нижнем поле поиска.
ЛИТЕРАТУРА
1. Хоггер К. Введение в логическое программирование. - М.: Мир, 1988. - 349 с.
2. Клоксин У., Меллиш К. Программирование на языке Пролог. - М.: Мир, 1987. - 336 с.
3. Стерлинг Л., Шапиро Э. Искусство программирования на языке Пролог. - М.: Мир, 1989, - 235 с.
4. Братко И. Программирование на языке Пролог для искусственного интеллекта. - М.: Мир, 1990. - 560 с.
5. Ковальски Р. Логика в решении проблем. - М.: Наука, 1990. - 280 с.
6. Малпас Дж. Реляционный язык Пролог и его применение. - М.: Наука, 1990.- 464 с.
7. Стобо Д.Ж. Язык программирования Пролог. - М.: Радио и связь, 1993. - 368 с.
1. ЗНАКОМСТВО С SWI/PROLOG. ЗАПУСК ПРОСТОЙ ПРОГРАММЫ... 3
1.1. ГЛАВНОЕ МЕНЮ... 3
1.2. ПЕРВАЯ ПРОГРАММА.. 3
1.3. ИСПОЛЬЗОВАНИЕ ВСТРОЕННЫХ ПРЕДИКАТОВ.. 8
1.4. ВЫПОЛНЕНИЕ И ТРАССИРОВКА ПРОГРАММЫ... 9
2. СТРУКТУРЫ ДАННЫХ. СЛОЖНЫЕ УТВЕРЖДЕНИЯ В ПРОЛОГЕ.. 16
2.1. СТРУКТУРА ЯЗЫКА.. 16
2.2. СОСТАВНЫЕ ЦЕЛИ-ЗАПРОСЫ... 16
2.3. СОСТАВНЫЕ ОБЪЕКТЫ... 17
2.4. ОТРИЦАНИЕ В ПРОЛОГЕ.. 18
3. РЕКУРСИЯ В ПРОЛОГЕ.. 20
3.1. РЕКУРСИЯ.. 20
3.2. ПРОГРАММИРОВАНИЕ С НАКОПИТЕЛЯМИ.. 23
3.3. РЕКУРСИВНЫЕ ОБЪЕКТЫ... 24
4. УПРАВЛЕНИЕ ЛОГИЧЕСКИМ ВЫВОДОМ... 24
4.1. ОТСЕЧЕНИЕ(CUT) 24
4.2. ОРГАНИЗАЦИЯ ЦИКЛА BAF-МЕТОД.. 26
4.3. ОРГАНИЗАЦИЯ ЦИКЛА UDR-МЕТОД.. 27
4.4. ИСПОЛЬЗОВАНИЕ НАДРЕЗОВ (SNIP) 28
5. СПИСКИ.. 30
6. МОДИФИКАЦИЯ УТВЕРЖДЕНИЙ ПРОГРАММЫ. РАБОТА С БАЗОЙ ДАННЫХ. 32
7. ПРИЛОЖЕНИЕ 1. ТИПЫ ДАННЫХ SWI/PROLOG.. 36
7.1. ПЕРЕМЕННЫЕ.. 36
7.2. СИМВОЛЬНЫЕ КОНСТАНТЫ ИЛИ АТОМЫ... 36
7.3. ЦЕЛЫЕ ЧИСЛА. 37
7.4. РАЦИОНАЛЬНЫЕ ЧИСЛА.. 37
7.5. ЧИСЛА С ПЛАВАЮЩЕЙ ТОЧКОЙ.. 38
7.6. СТРОКИ.. 38
7.7. СТРУКТУРЫ... 38
8. ПРИЛОЖЕНИЕ 2. ВСТРОЕННЫЕ ПРЕДИКАТЫ И ОПЕРАТОРЫ. 39
ЛИТЕРАТУРА.. 42
[1] Не вводите имя файла с расширением без апострофов.
[2] Отладка происходит в командной строке в диалоговом окне SWI/PROLOG-а и отображает последовательность выполняемых подцелей и результат выполнения.
[3] Графический отладчик отображает информацию в собственном – отдельном окне.
[4] Не забывайте каждый раз ставить точку после предикатов или группы предикатов (записанных через запятую) – каждое предложение заканчивается точкой.
[5] До последнего правила вывод дойдет только, если X>0, во всех остальных случаях это правило не будет даже рассматриваться как альтернатива в точке возврата (точка будет заморожена после выполнения операции отсечения).
[6] Не забывайте ставить точки в конце вводимых слов.
[7] Т.е. «замораживаются» точки возврата только для предикатов внутри надреза.
[8] Не путать символ апострофа (') с двойной кавычкой (").
[9] Между функтором и левой скобкой пробел не ставится.