![]() Главная страница Случайная страница КАТЕГОРИИ: АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника |
Domains. Из доменов можно конструировать составные или структурные домены (структуры)
i=integer Из доменов можно конструировать составные или структурные домены (структуры). Структура описывается следующим образом: < имя структуры> = < имя функтора> (< имя домена первой компоненты>,..., < имя домена последней компоненты>) [; < имя функтора> (...)]* Каждая компонента структуры в свою очередь может быть структурой.
Пример. Предложить структуру, описывающую треугольник, содержащую в качестве компоненты структуру, описывающую точку на плоскости, имеющую две компоненты (координаты точки). point = p(integer, integer) triangle = tr(point, point, point) В описание структуры могут входить альтернативы, разделенные символом "; " или ключевым словом " or ". Так, структуру, описывающую точку и на плоскости, и в пространстве, можно задать следующим образом: point = p(integer, integer); p(integer, integer, integer). Описание файлового домена имеет вид:
file = < символическое имя файла 1>;...; < символическое имя файла N> Для представления данных в Турбо-Прологе, в отличие от стандартных алгоритмических языков программирования, используются не массивы, а списки. Списковый домен задается следующим образом: < имя спискового домена> = < имя домена элементов списка> * Пример. Список целых чисел list_of_integer = integer*
Раздел описания предикатов внутренней базы данных Раздел описания предикатов внутренней базы данных начинается с зарезервированного слова database, и в нем описываются те предикаты, которые можно в процессе выполнения программы добавлять во внутреннюю базу данных или удалять оттуда. Описываются предикаты базы данных аналогично предикатам в разделе predicates.
Раздел описания предикатов В разделе, озаглавленном зарезервированным словом predicates, содержатся описания определяемых пользователем предикатов. В традиционных языках программирования подобными разделами являются разделы описания заголовков процедур и функций. Описание n -местного предиката имеет следующий вид: < имя предиката> (< имя домена первого аргумента>,..., < имя домена n-го аргумента>). Домены(области определения) аргументов должны быть либо стандартными, либо объявленными в разделе описания доменов. Следует обращать внимание на то, что имя предиката в Турбо-Прологе должно быть идентификатором, т.е. оно должно состоять только из латинских букв, цифр и символа подчеркивания, причем имя предиката не может начинаться с цифры. Пример. Предикат, описывающий отношение " мама".
|