Определение П 1.14. Синтаксис ограничения, возвращающего значение

=<вызов-функции>

Определение П 1.15. Синтаксис понятия "элемент"

<элемент>::= <константа>│

<простая-переменная>│

<составная-переменная>|

:<вызов-функции>

=<вызов-функции>

Определение П1.16. Синтаксис ограничений

<ограничение>::= <символьное-ограничение > │

? |

$? │

<связанное-ограничение>

<связанное-ограничение>::= <простое-ограничение> │

<простое-ограничение>&<связанное-ограничение> │

<простое-ограничение> | <связанное-ограничение> │

<простое-ограничение>::= <элемент>|~ <элемент>

<элемент>::= <константа>|

<простая-переменная>│

<составная-переменная>

Определение П1.17. Синтаксис образцов объектов

<образец объекта>::= (object <атрибуты-ограничения>)

<атрибуты-ограничения>::= (is-a <ограничение>)│

(name <ограничение>) │

(slot <ограничение>)

Определение П1.18. Синтаксис адреса образца

<адрес-образца>::=?<имя-переменной> <- <образец>

Определение П1.19. Синтаксис условного элемента test

<ycлoвный-элeмeнт-test >:: = (test <вызов-функиии>)

Определение П1.20. Синтаксис условного элемента or

<условный-элемент-ог >:: = (or <условный-элемент>+)

Определение П1.21. Синтаксис условного элемента and

<условный –элемент- and>:: =(and <условный элемент>+)

Определение П 1.22. Синтаксис условного элемента not

<ycлoвный-элeмeнт-not>::= (not <условный-элемент>)

Определение П 1.23. Синтаксис условного элемента exists

<yсловный-элемент-exists>:: = (exists <условный-элемент>+)

Определение П 1.24. Синтаксис условного элемента forall

<условный-элемент-forall>::= (forall <условный-элемент>

<условный-элемент>+)

Определение П1.25. Синтаксис условного элемента logical

<условный-элемент-1ogiса1>::= (logical <условный-элемент>+)

Определение П 1.26. Синтаксис предопределенного факта и объекта

(initial-fact)

(object (is-a INITIAL-OBJECT) (name [initial-object]))

Определение П 1.27. Синтаксис конструктора defglobal

(defglobal [<имя-модуля>] <определение-переменной>*)

<определение-переменной>::= <имя-переменной> = <выражение>

<имя-переменной>::=?*<значение-типа-зутЬо1>*

Определение П 1.28. Синтаксис конструктора def function

(deffunction <имя-функции>

[<комментарии>]

<обязательные-параметры>

[<групповой-параметр>] <действия>)

<обязательные-параметры>::= <выражение-простое-поле>

<групповой-параметр>::= <выражение-составное-поле>

Определение П1.29. Синтаксис конструктора defgeneriс

(defgeneric <имя-функции> [комментарии])