- •Общие сведения о Прологе, области применения, отличия Пролога от других языков программирования.
- •6. Утверждения программы Турбо-Пролога: факты и правила.
- •7. Раздел goal программы Visual Prolog.
- •8. Этапы программирования на Visual Prolog.
- •9.Декларативный и процедурный смысл программы на Прологе.
- •10.Сопоставление. Правила сопоставимости термов, структур.
- •12.Арифметика Visual Prolog. Арифметические функции.
- •13,14. Рекурсия в Visual Prolog. Пример рекурсивного правила (вычисление факториала, возведение числа в целую степень).
- •14.Рекурсия и эффективность рекурсивных правил на Visual Prolog .
- •15 Стандартные предикаты. Поточный шаблон стандартных предикатов.
- •16.Стандартные предикаты ввода-вывода в Прологе.
- •17.Отсечение в программах на Прологе.
- •18.Отрицание в правилах Visual Prolog.
- •19.Использование составных объектов в Visual Prolog. Простые и составные структуры.
- •20. Списки как основная структура данных в Visual Prolog. Описание списков. Голова и хвост списка .
- •23. Преобразование строки в список символов или атомов.
- •Преобразование строки в символ
- •24.Преобразование данных из одного типа в другой.
- •Преобразование строки в символ
- •25. Преобразование, определяемые пользователем. Пользователь может определить преобразование, не предусмотренные предикатами. Например: целые числа в действительные и наоборот.
- •26. Предикаты Visual Prolog для работы с файлами.
- •27. Описание файловых доменов, переадресация внешних устройств.
- •28. Запись данных в файл на Visual Prolog
- •29. Чтение данных из файла на Visual Prolog
- •30. Дозапись данных в конец существующего файла на Visual Prolog.
- •31.Создание меню средствами Visual Prolog.
- •32.Способы организации цикла в программах на Прологе.
- •33.Создание динамических баз данных средствами Visual Prolog.
- •34. Статические и динамические базы данных в программах на Visual Prolog.
- •35.Способы занесения информации в динамическую базу данных на Visual Prolog.
- •36.Предикаты Турбо-Пролога для работы с базой данных.
23. Преобразование строки в список символов или атомов.
Пролог для преобразования данных из одного типа в другой имеет следующие стандартные предикаты.
Преобразование прописных букв в строчные и наоборот
upper_lower (Стр1, Стр2) (string, string) : (i, i) (i, o) (o, i)
(i, i) upper_lower (“B”, “b”) True
(i, o) upper_lower (“ABC”, X) X=”abc”
(o, i) upper_lower (X, “abc”) X=”ABC”
Преобразование строки в символ
str_char (Строка, Символ) (string, char) : (i, i) (i, o) (o, i)
(i, o) str_char (“A”, X) X=’A’
(o, i) str_char (X, ‘A’) X=”A”
(i, i) str_char (“A”, ‘A’) True
Преобразование строки в целое число и наоборот
str_int (Строка, ЦелЧисло) (string, real) : (i, o) (o, i) (i, i)
(i, o) str_int (“345”, X) X=345
(o, i) str_int (X, 345) X=”345”
(i, i) str_int (“45”, 45) True
Преобразование строки в дейтсвительное число и наоборот
str_int (Строка, ДействЧисло) (string, integer) : (i, o) (o, i) (i, i)
Преобразование символа в число (код ASCII) и наоборот
char_int (Символ, Число) (char, integer) : (i, o) (o, i) (i, i)
Применение предикатов преобразования данных целесообразно, когда тип объекта встроенного предиката отличается от типа объекта предиката, определенного пользователем. Преобразование необходимы, когда значение одного типа должно быть присвоено к переменной другого типа. Данные вводимые с клавиатуры для удобства дальнейшей обработки надо преобразовать в термы, которые могут быть обработаны ТП. Например, требуется поместить в базу данных множество утверждений в следующем виде:
fruct (apple)
fruct (peach)
fruct (orange)
fruct (pear)
Включает преобразование строки в список, который содержит имя функтора:
[fruct (apple), fruct (peach), fruct (orange), fruct (pear)],
который записывается в базу данных или файл, причем этот список с помощью соответствующего правила может быть записан таким образом, чтобы каждый элемент списка располагался в отдельной стрке, а в конце строки подсоединилась точка. Основной компонентой правила преобразования входной строки в список является предикат fronttoken.
24.Преобразование данных из одного типа в другой.
Преобразование прописных букв в строчные и наоборот
upper_lower (Стр1, Стр2) (string, string) : (i, i) (i, o) (o, i)
(i, i) upper_lower (“B”, “b”) True
(i, o) upper_lower (“ABC”, X) X=”abc”
(o, i) upper_lower (X, “abc”) X=”ABC”
Преобразование строки в символ
str_char (Строка, Символ) (string, char) : (i, i) (i, o) (o, i)
(i, o) str_char (“A”, X) X=’A’
(o, i) str_char (X, ‘A’) X=”A”
(i, i) str_char (“A”, ‘A’) True
Преобразование строки в целое число и наоборот
str_int (Строка, ЦелЧисло) (string, real) : (i, o) (o, i) (i, i)
(i, o) str_int (“345”, X) X=345
(o, i) str_int (X, 345) X=”345”
(i, i) str_int (“45”, 45) True
Преобразование строки в дейтсвительное число и наоборот
str_int (Строка, ДействЧисло) (string, integer) : (i, o) (o, i) (i, i)
Преобразование символа в число (код ASCII) и наоборот
char_int (Символ, Число) (char, integer) : (i, o) (o, i) (i, i)