Документ взят из кэша поисковой машины. Адрес оригинального документа : http://www.cplire.ru/Lab144/alt/01040200.html
Дата изменения: Mon Sep 24 15:06:32 2007
Дата индексирования: Tue Oct 2 01:13:34 2012
Кодировка: IBM-866
Actor Prolog. Programming language definition.

4.2. ПРОЕКТ

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

 определение_проекта =
    project ":" конструктор_процесса

В составе проекта могут использоваться переменные. Область действия таких переменных ограничена пределами проекта. В определении проекта не допускается однократное использование переменных, отличных от "_".

В качестве обозначения экземпляра класса, соответствующего проекту, в определении проекта допускается использование предопределенного атрибута self.

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

Пример. Правильно построенный проект.

project: (('P',x=[1,7,9|W],y=W,p=self))

Ссылки: атрибут 4.1.1, исполнение конструктора 5.4.1, конструктор процесса 4.1.3, мир 5.1, переменная 2.1.1, программа 4, project 2.1.2, self 4.1.1.


Следующий: 4.3. ПАКЕТЫ
Предыдущий: 4.1.3. КОНСТРУКТОРЫ


4. СТРУКТУРА ПРОГРАММЫ
КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)