Программирование в Логике. Чанышев О.Г. - 9 стр.

UptoLike

Составители: 

17
3. Практическое программирование на Прологе
Лучший известный мне учебник по программированию на
Turbo Prologe, переведенный на русский язык, – это уже цитиро-
ванная книга "Использование Турбо-Пролога" [7]. В ней есть все,
за исключением использования системы управления внешней "би-
нарной" БД. Наиболее полное руководство на русском языке по
логическому программированию и Visual Prolog'у вышло в 2003 г.
[8].
Исходные модули, написанные
на Turbo Prolog’е, могут
быть включены и в состав приложений Visual Prolog’а. Полный
комплект документации на английском языке можно получить в
составе Visual Prolog v. 5.2 Personal Edition. Она содержит также
удобную и полную Help-систему.
Изучение версии 5.2. визуального пролога рекомендую на-
чать с написания программ, работающих в режиме (точнее, в
пользовательской стратегии) EASYWIN, – вы будете иметь про-
стой, но вполне
достаточный для начала интерфейс с вашими про-
граммами. Для этого стартуйте систему:
1. В общем меню выбираете Projec. Затем New Project. Появ-
ляется меню Эксперта приложения (Application Axpert). В
этом меню в подменю GENERAL (оно уже выбрано) пе-
чатаете наименование проекта и имя файла-проекта (VPR-
файла). Печатаете или выбираете директорию проекта.
2. Выбираете подменю TARGET. В позиции UI Strategy
за-
меняете VPI на EASYWIN.
3. Нажимаете кнопку Create. Создаются все необходимые
файлы. В настоящий момент вас интересуют только два
из нихфайлы с расширениями .pro и pre. Последний со-
держит секции GLOBAL DOMAINS и GLOBAL
DATABASE.
4. Напишите в этих секциях необходимые определения, не
убирая уже имеющийся текст. Файл с расширением .pro
содержит секции predicates, goal, clauses.
5. Пишите необходимый код. Можно
редактировать вообще
вне системы. Для вызова системы установите курсор на
файл с раширением .vpr и нажмите Enter.
18
6. После того как вы написали текст программы, откомпи-
лируйте ваш основной файл ("<имя_проекта>.pro"). Для
этого воспользуйтесь либо Ctrl-F9, либо соответствующей
позицией в меню Projec. Если есть ошибки, появится со-
ответствующее окно с сообщениями. Установите курсор
на сообщение и нажмите Enter (либо двойное нажатие ле-
вой клавишей мышки), и вы окажетесь в исходном
модуле
в позиции ошибки.
7. Устранив ошибки, выберите позицию Rebuild All или на-
жмите сочетание клавиш Ctrl-Alt-F9 для получения ис-
полняемого файла.
В следующем разделе приведены самые необходимые све-
дения и примеры, для того чтобы понять специфику Пролога и
начать писать программы. Тема работы с внешней ("бинарной")
базой данных Пролога не затрагивается.
3.1.
Структура Пролог-программы
В общем случае программа на Прологе состоит из следую-
щих секций (или разделов):
CONSTANTS /* раздел определения констант */
const1 = definition
const2 = definition
%Пример:
str_main = "Это строка"
[GLOBAL] DOMAINS /*раздел определения структур дан-
ных*/
dom[,dom] = [reference]declaration1;declaration2
Примеры:
listdom = dom* /*определение списка целых чисел*/
dom, nb_jbject = integer
compaund_dom = cmpd(dom,string,symbol,name)
name = string
file = inputfile;outputfile
     3. Практическое программирование на Прологе                            6. После того как вы написали текст программы, откомпи-
                                                                               лируйте ваш основной файл ("<имя_проекта>.pro"). Для
      Лучший известный мне учебник по программированию на                      этого воспользуйтесь либо Ctrl-F9, либо соответствующей
Turbo Prologe, переведенный на русский язык, – это уже цитиро-                 позицией в меню Projec. Если есть ошибки, появится со-
ванная книга "Использование Турбо-Пролога" [7]. В ней есть все,                ответствующее окно с сообщениями. Установите курсор
за исключением использования системы управления внешней "би-                   на сообщение и нажмите Enter (либо двойное нажатие ле-
нарной" БД. Наиболее полное руководство на русском языке по                    вой клавишей мышки), и вы окажетесь в исходном модуле
логическому программированию и Visual Prolog'у вышло в 2003 г.                 в позиции ошибки.
[8].                                                                        7. Устранив ошибки, выберите позицию Rebuild All или на-
      Исходные модули, написанные на Turbo Prolog’е, могут                     жмите сочетание клавиш Ctrl-Alt-F9 для получения ис-
быть включены и в состав приложений Visual Prolog’а. Полный                    полняемого файла.
комплект документации на английском языке можно получить в
составе Visual Prolog v. 5.2 Personal Edition. Она содержит также         В следующем разделе приведены самые необходимые све-
удобную и полную Help-систему.                                      дения и примеры, для того чтобы понять специфику Пролога и
      Изучение версии 5.2. визуального пролога рекомендую на-       начать писать программы. Тема работы с внешней ("бинарной")
чать с написания программ, работающих в режиме (точнее, в           базой данных Пролога не затрагивается.
пользовательской стратегии) EASYWIN, – вы будете иметь про-
стой, но вполне достаточный для начала интерфейс с вашими про-              3.1. Структура Пролог-программы
граммами. Для этого стартуйте систему:                                   В общем случае программа на Прологе состоит из следую-
      1. В общем меню выбираете Projec. Затем New Project. Появ-    щих секций (или разделов):
         ляется меню Эксперта приложения (Application Axpert). В         CONSTANTS /* раздел определения констант */
         этом меню в подменю GENERAL (оно уже выбрано) пе-               const1 = definition
         чатаете наименование проекта и имя файла-проекта (VPR-          const2 = definition
         файла). Печатаете или выбираете директорию проекта.
      2. Выбираете подменю TARGET. В позиции UI Strategy за-                %Пример:
         меняете VPI на EASYWIN.                                            str_main = "Это строка"
      3. Нажимаете кнопку Create. Создаются все необходимые
         файлы. В настоящий момент вас интересуют только два                [GLOBAL] DOMAINS /*раздел определения структур дан-
         из них – файлы с расширениями .pro и pre. Последний со-    ных*/
         держит секции GLOBAL DOMAINS и GLOBAL                              dom[,dom] = [reference]declaration1;declaration2
         DATABASE.
      4. Напишите в этих секциях необходимые определения, не                Примеры:
         убирая уже имеющийся текст. Файл с расширением .pro                listdom = dom* /*определение списка целых чисел*/
         содержит секции predicates, goal, clauses.                         dom, nb_jbject = integer
      5. Пишите необходимый код. Можно редактировать вообще                 compaund_dom = cmpd(dom,string,symbol,name)
         вне системы. Для вызова системы установите курсор на               name = string
         файл с раширением .vpr и нажмите Enter.                            file = inputfile;outputfile

                               17                                                                      18