Добавил:

ivanov666 Опубликованный материал нарушает ваши авторские права? Сообщите нам.

Вуз:

Башкирский Государственный Аграрный Университет

Предмет:

[НЕСОРТИРОВАННОЕ]

Файл:

Языки логического программирования. Учебное пособие

.pdf

Скачиваний:

Добавлен:

08.09.2026

Размер:

2 Мб

Скачать

☆

1 / 131 2 3 4 5 6 7 8 9 10 11 12 13 > Следующая >>>

В.С. Рублев

Языки логического программирования

Учебное пособие

4-е издание стереотипное

электронное

Интернет-Университет Информационных Технологий www.intuit.ru

Ай Пи Ар Медиа

Москва

2025

УДК 004 ББК 32.97

Рублев, В.С.

Языки логического программирования : учебное пособие / В.С. Рублев. — 4-е изд., стер. электрон. — Москва : Национальный Открытый Университет «ИНТУИТ» : Ай Пи Ар Медиа, 2025. — 125 с. — Текст : электронный.

ISBN 978-5-4497-0927-1

Учебное пособие знакомит с языками типа модели Маркова, которые называют языками логического программирования или искусственного интеллекта.

Традиционные языки программирования, наиболее часто используемые на практике, относятся к модели языков фон Неймановского типа. Эта модель тесно связана с одной из моделей алгоритмов, называемой Машинами Тьюринга. Другая модель алгоритмов — нормальные алгоритмы Маркова — является основой языков программирования другого типа, которые называют языками логического программирования за направленность на решение задач логического типа. Эти языки иногда называют языками функционального программирования, поскольку программы, написанные на них, выражают явным образом функциональный подход к программированию, а также называют языками искусственного интеллекта за их использование в программировании сложных интеллектуальных задач. Настоящее издание посвящено этому направлению развития языков программирования.

Учебное электронное издание

Технический редактор А.Д. Матлахова

Обложка С.С. Сизиумова, Я.А. Кирсанов

ООО Компания «Ай Пи Ар Медиа», 20

Содержание

Языки логического программ ированияВ.С . Рублев

1. Нормальные алгоритмы Маркова

2. Язык РЕФАЛ: простейшие конструкции Рефала-2

3. Язык РЕФАЛ: сложные конструкции Рефала-2 21

4. Язык РЕФАЛ: первичные функции и примеры 27

составления программ

5. Язык РЕФАЛ: дополнительные виды памяти 38

6. Язык РЕФАЛ: Рефал-5

7. Язык ПРОЛОГ: основные конструкции

53 65

8. Язык Пролог: вычисления и процедурная семантика

Пролога

9. Язык Пролог: чистый недетерминированный Пролог

и процедурная семантика

10. Язык Пролог: стратегии вычислений и встроенные

отношения

11. Модель Бэкуса алгебры программ: основные

конструкции

12. Модель Бэкуса алгебры программ:

фундаментальные формы и определение функций

13. Модель Бэкуса алгебры программ: алгебра

программ

14. Модель Бэкуса алгебры программ: умножение

матриц и алгебраическое преобразование программы Список литературы

107

116

119

125

Нормальные алгоритмы Маркова

Определение нормального алгоритма Маркова и его выполнение. Возможности нормальных алгоритмов Маркова и тезис Маркова. Методика разработки нормальных алгоритмов Маркова.

Определение нормального алгоритма и его выполнение

В середине прошлого века выдающийся русский математик А.А. Марков ввел понятие нормального алгоритма (алгорифма) с целью уточнения понятия "алгоритм", что позволяет решать задачи по определению алгоритмически неразрешимых проблем. Позже это понятие получило название нормального алгоритма Маркова (НАМ). Язык НАМ, с одной стороны, намеренно беден, что необходимо для цели введения понятия "алгоритм". Однако, с другой стороны, идеи НАМ положены в основу большой группы языков программирования, получивших название языки логического программирования, которые являются темой данного пособия.

Для определения НАМ вводится произвольный алфавит - конечное непустое множество символов, при помощи которых описывается алгоритм и данные. В алфавит также включается пустой символ, который мы будем обозначать греческой буквой . Под словом понимается любая последовательность непустых символов алфавита либо пустой символ, который обозначает пустое слово.

Всякий НАМ определяется конечным упорядоченным множеством пар слов алфавита, называемых подстановками . В паре слов подстановки левое (первое) слово непустое, а правое (второе) слово может быть пустым символом. Для наглядности левое и правое слово разделяются стрелкой. Например,

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

Языки логического программированияВ.С. Рублев

Работа НАМ состоит из последовательности совершенно однотипных шагов. Шаг работы алгоритма может быть описан следующим образом:

1. В упорядоченной последовательности подстановок ищем самую первую подстановку, левое слово которой входит в строку данных.

2. В строке данных ищем самое первое (левое) вхождение левого слова найденной подстановки.

3. Это вхождение в строке данных заменяем на правое слово найденной подстановки (преобразование данных).

Шаг работы алгоритма повторяется до тех пор, пока

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

В первом случае строка данных, получившаяся при остановке алгоритма, является выходной (результатом) и алгоритм применим к входным данным, а во втором случае алгоритм не применим к входным данным.

Так, определенный выше в примере нормальный алгоритм Маркова преобразует слово в слово следующим образом (над стрелкой преобразования мы пишем номер применяемой подстановки, а в преобразуемой строке подчеркиваем левое слово применяемой подстановки ):

а при преобразовании слова abbc этот же алгоритм будет неограниченно работать, так как имеет место цикличное повторение данных:

Таким образом, всякий нормальный алгоритм Маркова определяет

Языки логического программированияВ.С. Рублев

функцию, которую мы назовем нормальной (или вычислимой по Маркову), которая может быть частичной и которая в области определения входному слову ставит в соответствие выходное слово.

Возможности нормальных алгоритмов и тезис Маркова

Прежде всего рассмотрим возможности реализации арифметических операций с помощью нормальных алгоритмов Маркова. Сначала обратим внимание на одно обстоятельство, связанное с работой любого НАМ: нужно либо вводить дополнительное правило остановки работы нормального алгоритма (иначе в примере увеличения числа на 1 алгоритм продолжит работу и снова будет увеличивать полученный результат еще на 1 и т.д. неограниченное число раз), либо перед началом работы нормального алгоритма добавлять к входной строке специальные символы, отличные от других символов строки, которые учитываются подстановками алгоритма в начале его работы и которые удаляются в конце работы алгоритма. Мы будем придерживаться второго способа, как и одна из наиболее успешных реализаций нормальных алгоритмов Маркова в виде языка программирования Рефал. В качестве добавляемого символа возьмем символ "@".

Пример 1. Рассмотрим простейшую операцию увеличения десятичного числа на 1. В этом случае почти всегда необходимо увеличить последнюю цифру на 1, а последняя цифра отличается тем, что после нее идет символ "@". Поэтому первыми подстановками должны быть подстановки типа

Но если это цифра 9, то ее нужно заменить 0 и увеличение на 1 перенести в предыдущий разряд. Этому отвечает подстановка

Наконец, если число начинается с 9 и перед этой цифрой нужно поставить 1, то этому будет отвечать подстановка

Языки логического программированияВ.С. Рублев

а если это не так, то в конце работы алгоритма символы @ надо стереть, что выполнит подстановка

Таким образом, мы получаем следующий НАМ увеличения десятичного числа на 1:

Приведем работу построенного алгоритма для чисел 79 и 99:

Аналогичным образом разрабатывается нормальный алгоритм Маркова для уменьшения числа на 1 (см. упражнение 1.3.1).

Пример 2. Прежде, чем перейти к другим арифметическим операциям, рассмотрим как довольно типичный пример, используемый часто в других алгоритмах, алгоритм копирования двоичного числа. В этом случае прежде всего исходное и скопированное числа разделим символом "*". В разрабатываемом алгоритме мы будем копировать разряды числа по очереди, начиная с младшего, но нужно решить 2 проблемы: как запоминать значение символа, который мы копируем, и как запоминать место копируемого символа. Для решения второй проблемы используем символ "!", которым мы будем определять еще не скопированный разряд числа, после которого и стоит этот символ. Для запоминания значения копируемого разряда мы будем образовывать для значения 0 символ "a", а для значения 1 - символ "b". Меняя путем подстановок эти символы "a" или "b" с последующими, мы будем передвигать разряды "a" или "b" в начало копируемого числа (после "*"), но для того, чтобы пока не происходило копирование следующего разряда справа, мы перед передвижением разряда временно символ "!" заменим на символ "?", а после передвижения сделаем обратную замену. После того как все число окажется скопированным в виде символов "a"

Языки логического программированияВ.С. Рублев

и "b", мы заменим эти символы на 0 и 1 соответственно. В результате нормальный алгоритм копирования двоичного числа можно определить следующей последовательностью подстановок:

Продемонстрируем работу алгоритма для числа 10:

Для построения алгоритма сложения двух чисел можно использовать идею уменьшения одного числа на 1 с последующим увеличением другого числа на 1 и повторением этого до тех пор, пока уменьшаемое число не исчезнет после того, как станет равным 0. Но можно использовать и более сложную идею поразрядного сложения с переносом 1 в разряд слева. Построение этих алгоритмов, а также алгоритмов вычитания, умножения и деления выделено для самостоятельной работы в упражнениях 2 - 9 (см. 1.3).

Языки логического программированияВ.С. Рублев

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

Вместе с тем построение алгоритма в последнем приведенном примере подсказывает следующую методику разработки НАМ:

1. Произвести декомпозицию (разбиение на части) строящегося алгоритма. В примере это следующие части:

1. разделение исходного числа и копии;

2. копирование разряда;

3. повторение предыдущей части до полного копирования всех разрядов.

2. Решение проблем реализации каждой части. В примере это следующие проблемы:

1. запоминание копируемого разряда - разряд 1 запоминается как символ "a", а разряд 0 - как символ "b";

2. запоминание места копируемого разряда - пометка еще не скопированного символа дополнительным символом "!" с заменой его на символ "?" при передвижении копируемого разряда и обратной заменой после передвижения.

3. Если часть для реализации является сложной, то она также подвергается декомпозиции.

4. Сборка реализации в единый алгоритм.

Упражнения

1. Определите нормальный алгоритм, который уменьшает число на единицу.

2. Определите нормальный алгоритм сложения двух двоичных чисел методом уменьшения одного числа на 1 и увеличением другого числа на 1 до тех пор, пока уменьшаемое число не станет равным 0.

3. Определите нормальный алгоритм логического сложения двух двоичных чисел.

Языки логического программированияВ.С. Рублев

4. Определите нормальный алгоритм логического умножения двух двоичных чисел.

5. Определите нормальный алгоритм сложения по модулю 2 двух двоичных чисел.

6. Определите нормальный алгоритм поразрядного сложения двух двоичных чисел.

7. Определите нормальный алгоритм вычитания двоичных чисел.

8. Определите нормальный алгоритм умножения двух двоичных чисел столбиком.

9. Определите нормальный алгоритм деления двух двоичных чисел с определением частного и остатка.

10. Определите нормальный алгоритм вычисления наибольшего общего делителя двух двоичных чисел.

11. Определите нормальный алгоритм вычисления наименьшего общего кратного двух двоичных чисел.

Языки логического программированияВ.С. Рублев

1 / 131 2 3 4 5 6 7 8 9 10 11 12 13 > Следующая >>>

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]