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

UptoLike

ВУЗ: 

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

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

Рубрика: 

- 7 -
Предикат также будет рассматриваться компилят ором как детер-
минированный, если в его выражении (clause) присутствует знак от-
сечения - !.
Объекты данных в Прологе также называются термами. Терм мо-
жет быть константой, переменной, списком или составным термом
(структурой). Более точное определение терма для Турбо-Пролога
изображено на рис.1.
+---------------------+
¦ Терм ¦
+---------------------+
+-----------------+
+-------------------------+ +-------------------------+
¦ Термы (предикат ы) ¦ ¦ ¦
¦ внутренней динамической ¦ ¦ Объекты (домены), ¦
¦ базы данных, ¦ ¦ ¦
¦ описывается в разделе ¦ ¦ описывается в разделе ¦
¦ [GLOBAL] DATABASE ¦ ¦ [GLOBAL] DOMAINS ¦
¦ текста программы ¦ ¦ текста программы ¦
+-------------------------+ +-------------------------+
+----------------------------------------------+
+-----------+ +------------+ +--------+ +------------+
¦ Константы ¦ ¦ Переменные ¦ ¦ Списки ¦ ¦ Стртуктуры ¦
+-----------+ +------------+ +--------+ +------------+
+-------+ +-------+ ¦+--------------+
¦ Числа ¦ ¦ Атомы ¦ +¦ Анонимные ¦
+-------+ +-------+ ¦+--------------+
¦+-------+ +--------++---------+ ¦+--------------+ +-----------+
+¦ Целые ¦ ¦ Строки ¦¦ Символы ¦ +¦ Определяемые +-¦ Cвязанные ¦
¦+-------+ +--------++---------+ +--------------+¦+-----------+
¦+----------------+ ¦+-----------+
+¦ Действительные ¦ +¦ Свободные ¦
+----------------+ +-----------+
Рис. 1. Виды термов Турбо-пролога

Страницы