Программирование на языке Турбо-Пролог 2.0. Николаев В.Г - 11 стр.

UptoLike

ВУЗ: 

УлГТУ | Ульяновск

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

Рубрика: 

- 11 -
reg - переменная для обращения к регистрам ОЗУ, принимает
значение: reg(AX,BX,CX,DX,SI,DI,DS,ES)
bgi_ilist - список целых для предикатов BGI-графики.
1.3. Списки
СПИСКИ - это структура данных Турбо-Пролога для формирования
составных объектов. Список состоит из элементов (термов), заклю-
ченных в квадратные скобки и разделенных запятыми. Список целых
чисел представляется как [1,2,3,9,-3,-2]. Он принадлежит к опре-
деляемому домену ilist, объявляемому как:
domains ilist = integer *
Если элементы в списке смешанного типа, например, список,
содержащий как символы, так и целые числа, он должен быть выражен
символами в соответствующем описании:
domains
element = c(char); i(integer)
list = element *
представляет, например, такой список
[i(12), i(34), i(-567), c('x'), c('y'), c('z'), i(987)].
1.4. Унификация
УНИФИКАЦИЯ (отождествление) - механизм сопоставления целево-
го предиката с базой данных и конкретизации (сопоставления)
переменных.
Механизм унификации Турбо-Пролога использует и реализует
следующие правила при согласовании целей:
1) Свободные переменные могут быть унифицированы с любым
термом.
2) Атомы и константы могут быть унифицированы только сами с
собой.
3) Структурный терм может быть унифицирован с другим струк-
турным термом, если оба они имеют одинаковые функторы и
равное число компонент, при этом константы, используемые
в качестве компонент могут быть связаны только сами с со-
бой или со свободной переменной.

Страницы