ВУЗ:
Составители:
Рубрика:
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
Страницы
- « первая
- ‹ предыдущая
- …
- 7
- 8
- 9
- 10
- 11
- …
- следующая ›
- последняя »