Определение П1.1. Представление целого числа

<целое>::=[+│ -] <цифра>+

<цифра>::=0│1│2│3│4│5│6│7│8│9

Определение П1.2. Представление вещественного числа

<вещественное>::= <целое> <экспонента> |

<целое>. [экспонента] |

<беззнаковое-целое> [экспонента] |

<целое>. <беззнаковое-целое> [экспонента]

<беззнаковое-целое>:: = <цифра>+

<экспонента>::= е | Е <целое>

Определение П1.3. Упорядоченный факт

(данное_типа_symbol [ поле ] *)

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

(deftemplate <имя-шаблона> [<необязательные-комментарии>]

[<определение-слота>*])

<определение-слота>::= <определение-простого-слота>│

<определение-составного-слота

<определение-простого-слота>::= (slot <имя-поля>

<атрибуты-шаблона>)

<определение-составного-слота>::= (multislot <имя-поля>

<атрибуты-шаблона>)

<атрибуты-шаблона>::= <атрибут-значение-по-умолчанию>|

<атрибут-ограничения>

<атрибут-значение-по-умолчанию>::= (default?DERIVE|?NONE |

<Выражение>)|

(default-dynamic <Выражение>)

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

(deffacts <имя-списка-фактов> [<необязательные-комментарии>]

[<факт>*])

Определение П1.6. Предопределенные шаблоны и факты

(deftemplate initial-fact)
(deffacts initial-fact

(initial-fact))

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

(defrule

<имя-правила>

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

[<определение-свойства-правила>]

<предпосьшки >; левая часть правила

=>

<следствие>; правая часть правила

)

Определение П1.8. Синтаксис свойств правил

<определение-свойства-правила>::= (declare <свойство-правила>)
<свойство-правила>::= (salience <целочисленное выражение>)│

(auto-focus TRUE|FALSE)

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

<условный-элемент>::= <pattern-CE> │

<assigned-pattern-CE> |

<not-CE> |

<and-CE> |

<or-CE> │

<logical-CE> │

<test-CE> |

<exists-CE> │

<forall-CE>

Определение П1.10. Синтаксис символьных ограниченийдля неупорядоченного факта

(<ограничение-1>... <ограничение-n>)

Определение П1.11. Синтаксис символьных ограничений для шаблона

(<имя-шаблона > (<имя-слота-1> <ограничение-1>)

...

(<имя-слота-n> <ограничение-n>))

Определение П1.12. Синтаксис связывающих ограничений

<элемент-1>& <элемент-2>... & элемент -n>

<элемент-1>│ <элемент-2>... | <элемент -n>

~ <элемент>

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

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