Приложениеe. Словарь специальных терминов

Анонимная переменная - переменная "_", используемая вместо обычной

переменной в том случае, когда значение обычной переменной, с которой она

связана, не важно.

Аргументы - обобщенное название для имен переменных и объектов в от-

ношении.

Атом - отношение, содержащее, возможно, объекты или переменные.

Атрибут - целое положительное число, отражающее характеристики отоб-

ражения в данном окне, включая цвет, мигание (без мигания и нормальное),

инверсное изображение.

Поиск с возвратом - встроенный в Турбо Пролог механизм, обеспечиваю-

щий после завершения оценки заданной подцели возвращение Турбо Пролог к

предыдущей подцели с тем, чтобы попытаться согласовать ее другим путем.

Связанная переменная - переменная, имеющая ссылку к известной вели-

чине.

Вызов подцели (либо предиката) - выражение, означающее, что Турбо

Пролог в настоящее время пытается согласовать конкретную подцель (принад-

лежащую данному предикату).

Символ (char) - произвольный символ, заключенный в одинарные кавыч-

ки.

Директивы компилятора - инструкции для компилятора Турбо Пролог для

выполнения специальных действий.

Утверждение (предложение) - событие или правило для определения пре-

диката, сопровождающееся точкой (.).

Сложная цель - цель, состоящая не менее чем из двух подцелей.

Сложный объект - объект, состоящий из функтора и списка объектов,

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

Текущее устройство ввода - установленное на настоящее время устройс-

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

данные.

Текущее устройство вывода - установленное на настоящее время устрой-

ство вывода, в которое стандартные предикаты по умолчанию посылают вход-

ные данные.

Отсечение (ИЛИ !) - отсечение позволяет Турбо Пролог использовать

все возможности выборов в оценке предиката, содержащего отсечение. Отсе-

чение может рассматриваться как подцель, которую Турбо Пролог не может

пройти при переборе с возвратами.

Предикаты базы данных - предикаты, для которых факты могут добав-

ляться, либо исключаться из системы Турбо Пролог во время исполнения.

Диалоговое окно - системное окно, в котором задаются внешние цели, а

также записываются результаты этих целей.

Домен - определяет типы значимых объектов, которые могут вступать в

отношение.

Окно редактирования - окно, в котором может редактироваться текст,

находящийся в рабочем файле.

Элемент списка - может быть как объектом. так и другим списком.

Экспертная система - компьютерная система, которая может давать экс-

пертную оценку в конкретной (очень узкой) области.

Внешняя цель - цель, которая вносится в диалоговое окно пользовате-

лем и задается для программы, находящейся в настоящее время в рабочем

файле.

Факт - отношение между объектами. Факт likes(john, mary) likes - яв-

ляется именем отношения, john и mary - объекты. Неуспех - подцель Турбо

Пролог не может быть согласована.

Поле - определенная последовательность отображаемых символьных пози-

ций, появляющихся в одной и той же строке на экране дисплея.

Имя файла - символьное имя файла, начинающееся с буквы нижнего ре-

гистра клавиатуры и появляющееся в правой части описания файлового доме-

на, либо одно из предварительно определенных символьных файловых имен

принтера, экрана, клавиатуры и устройства связи.

Шаблон на поток параметров - шаблон, формирующийся в зависимости от

того используются ли параметры в предикатном вызове для ввода данных

(т.е. данные известны), либо для вывода данных (т.е. данные неизвестны).

Поточный вариант - если предикат ассоциируется с несколькими различ-

ными шаблонами, то для каждого шаблона будет реализована самостоятельная

внутренняя программа, относящаяся к данному предикату. Эти различные дей-

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

Свободная переменная - переменная, не связанная в настоящее время ни

с одним значением.

Функтор - имя для сложного объекта.

Глобальный - спецификатор, используемый для разрешения доступа более

чем одной программе к конкретным доменам и предикатам.

Цель - набор подцелей, которые должен согласовать Турбо Пролог.

Дерево целей - диаграммное представление возможных альтернатив, ко-

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

Ручная трассировка - трассировка, выполняемая программистом с по-

мощью ручки и бумаги, а не компьютера.

Заголовок списка - первый элемент списка.

Динамическая часть памяти - часть памяти, используемая Турбо Пролог

для построения структур, хранения строк и вставки фактов для предикатов

базы данных.

Инфиксная запись - запись арифметического выражения с операторами

между двумя значениями или выражениями, по которым они должны действо-

вать.

Целое число - целое число в диапазоне от -32.768 до 32.767.

Внутренняя цель - цель, содержащаяся в секции целей программы.

Итеративный метод - метод, представляющий собой повторение одних и

тех же основных действий до тех пор пока цель не будет согласована.

Список - специальный вид объекта, содержащий набор элементов, заклю-

ченных в квадратные скобки и отделенных запятыми. Модуль - программа Тур-

бо Пролог с глобальными описаниями, формирующими часть проекта.

Множественные описания предиката - отдельно взятый предикат может

иметь несколько описаний, каждое из которых содержит различные доменовые

спецификации для аргумента (аргументов) релевантного отношения.

Имя - любая жесткая последовательность букв, цифр и символов подчер-

кивания, которая начинается с буквы нижнего регистра клавиатуры, либо

символа подчеркивания.

Объект - имя отдельного элемента конкретного типа.

Приоритет оператора - иерархия, определяющая порядок, в котором вы-

полняются операторы в арифметических выражениях. Параметр - общее имя для

имен объектов и переменной в отношении.

Указатель - механизм, с помощью которого Турбо Пролог сохраняет за-

пись следующего места в своей базе данных событий или правил, к которой

он обращается при переборе с возвратом.

Предикат - каждое событие или правило Турбо Пролога входит в состав

какого-либо предиката, определяемого именем включаемого отношения и имен

объектов, включенных в отношение.

Проект - программа Турбо Пролог, содержащая один или более модулей.

Действительное число (real) - десятичное число в диапазоне от

+/-1.0Е до +/-1.0Е+308.

Рекурсия - способ, при котором объект определяется в собственных

терминах.

Ссылочные объекты и домены - если несвязанная переменная проходит из

одной подцели в другую, то домен, содержащий значение, с которым перемен-

ная в конечном счете будет связана, должен быть объявлен ссылочным доме-

ном. Элементами подобного домена являются объекты ссылок.

Комбинация повтор...отказ - Прием, который может быть использован

для отказа от конца рекурсии вместо механизма поиска с возвратом Турбо

Пролог.

Отношение - способ, при котором подобранные объекты (либо выполнение

ссылок и переменных на объекты) соответствовали бы друг другу.

Правило - связь между "событием" и списком подцелей, которые должны

быть согласованы для того, чтобы "событие" было исполнено. Согласование

подцелей - процесс, при котором Турбо Пролог выбирает значения для любых

несвязанных переменных (если это возможно) таким образом, чтобы подцель

являлась истинной в соответствии с заданными утверждениями для передающе-

го предиката.

Принцип поиска - одно из четырех основных правил, которые должен

соблюдать Турбо Пролог с тем, чтобы согласовать цель.

Стек - часть памяти, используемой Турбо Пролог для передачи парамет-

ров.

Автономные программы - программы, которые должны быть запущены из

ДОС независимо от Турбо Пролог.

Стандартный предикат - предикат, уже определенный внутри Турбо Про-

лога.

Стандартный тип (домена) - домен, содержащий объекты одного из ти-

пов: целое число, действительное число, символ, строка или файл.

Строка - произвольная строка символов, заключенных в двойные кавыч-

ки.

Подцель - отношение, возможно включающее объекты или переменные, ко-

торое должен согласовать Турбо Пролог.

Подобъект - один из объектов в сложном объекте.

Имя - некоторая последовательность букв, цифр и символов подчеркива-

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

Конец списка - список, который сохраняется при удалении первого эле-

мента данного списка (вместе с его разделителем - запятой).

Ограничение конца рекурсии - действие, выполняемое внутри Турбо Про-

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

Терм - любой объект одного из доменов стандартного типа, список, пе-

ременная, либо сложный терм, т.е. функтор, сопровождающийся списком тер-

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

Лексема - имя, действительное или целое число, либо непустой символ.

Трассировка - осуществление пошагового отчета о выполнении програм-

мы, показывающее все происходящие изменения.

Окно трассировки - окно, в котором Турбо Пролог может генерировать

трассировку выполнения программы.

Хвост (trail) - часть памяти, используемая Турбо Пролог для регист-

рации связанных и несвязанных ссылочных переменных.

Система типов - средство, с помощью которого все объекты в отношении

или все переменные, используемые как аргументы в отношении, ограничивают-

ся принадлежностью к конкретным доменам, которые используются в описании

соответствующего предиката.

Унификация - процесс, при котором Турбо Пролог пытается сопоставить

подцели с событиями и левой частью правил, либо для согласования цели,

либо для определения одной или более подцелей, необходимых для оценки

первоначальных целей.

Переменная - имя, начинающееся с заглавной буквы для представления

(возможно неизвестного) значения конкретного объекта.

Связывание переменных - состояние (свободное или связанное) одной

или более переменных.