Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Скачиваний:
18
Добавлен:
07.08.2024
Размер:
2.11 Mб
Скачать
  1. В программе 2.4 перенесите комментарий на строку выше и разбе­ритесь - чем различаются значения poly и smooth.

    1. Загрузка и запуск программ swi-Prolog'a

До текущего момента мы все программы разрабатывали, запускали и

исследовали в интерактивной среде SWI-Prolog^ или SWI-Prolog-Editor'а.

При этом SWI-Prolog-Editor представляет собой интегрированную среду,

которая обращается к SWI-Prolog'y и работать без него не может. Насту­пил момент, когда надо чуть подробнее взглянуть на SWI-Prolog. Причем, не как на среду разработки Prolog программ, а как на программный про­дукт.

Если обратиться к свойствам ярлыка рабочего стола или опции меню Windows, с помощью которых может быть запущен SWI-Prolog, то в поле командной строки вызова программы можно увидеть текст, аналогичный

"C:\Program Files (x86)\swipl\bin\swipl-win.exe" --win_app

Из него видно, где находится инсталляционный каталог SWI-Prolog^. Если теперь войти в его подкаталог \bin, то там, наряду с большим количеством библиотек, можно найти два исполняемых файла, а именно:

bin\swipl-win.exe - это графическое приложение для интерактивного использования, которое устанавливается по умолчанию.

bin\swipl.exe - консольная версия для использования в сценариях.

В зависимости от того, в каком режиме предполагается использовать SWI-Prolog, надо запускать ту или иную программу. Формат командной строки вызова любой из этих версий практически аналогичен и в общем случае имеет вид:

swipl.exe <--опции> -f <файл.р1> -g <цель> -t <цель>

где swipl.exe - имя вызываемого файла, за которым следует набор опций и ключей. Опции определяют настройку и режим работы программы, а ключи - набор действий, выполняемых SWI-Prolog'ом по загрузке и ходу выполнения Prolog программ. Подробно об их составе и назначении можно узнать из справки по системе, а здесь рассмотрим только основные из них.

Среди всего множества опций на первых шагах отметим только две из них: --win_app и --quiet. Если SWI-Prolog запущен с опцией --win_app, то в качестве рабочего будет установлен каталог \MyDocuments\Prolog. Если его нет, то система создаст его заново. Использование при вызове SWI- Prolog'а опции --quiet отключает вывод начального сообщения системы в окне консоли при старте программы. Ключ -q выполняет то же действие.

Что касается ключей, которые указываются в строке вызова, то с их помощью можно указать SWI-Prolog'v на необходимость при старте загру­зить и откомпилировать определенные программные файлы, а также вы­полнить запросы для инициализации ряда целей или управления системой. Наиболее часто используются следующие ключи: -f, -s, -g , -t, -q.

Ключи -f <файл> или -s <файл> указывают на необходимость при стар­те системы загрузить соответствующий программный файл или файлы. Если при старте системы необходимо загрузить сразу несколько файлов, то их имена перечисляются после ключа, объединяясь знаком «+». Например, swipl-win.exe -f d:\prolog\prog_1.pl + d:\prolog\prog_1_rus.pl.

Ключи -g <цель> и -t <цель> определяют цели, которые должны быть иницилизированы при старте системы (-g) или после выполнения всех предикатов загруженных программных файлов (-t). Цель, которая указанна после ключа может включать в себя несколько предикатов, перечисляемых через запятую. К числу наиболее часто используемых терминальных целей относится предикат halt, который вызывает завершение работы Prolog^.

Использование строки запуска позволяет настроить среду SWI-Prolog^ для работы, но особенно это важно для программ с внешним интерфейсом. Когда мы работаем в интерактивной среде, то есть формируем прямо в ней файлы программ и вводим запросы в консоль, настройка строки запуска позволит ускорить переход от одной задачи к другой. При разработке при­ложения, которое будут использовать другие пользователи, и в котором предусматривается внешний интерфейс, то здесь без формирования строки запуска обойтись вообще затруднительно. Рассмотрим это на примерах.

Соседние файлы в папке Курсовой проект ПРОЛОГ