<На страницу назад | На страницу вперед>
А.2.4 Термы
<term> ::= <atomterm> | <compterm>
<atomterm> ::= <id> | <var> | <int> | <float> |
<string>
<compterm> ::= (<term> <term>+) |
(if <sentence> <term> [<term>]) |
(cond (<sentence> <term>) (<sentence> <term>)+)
|
(the <var> <sentence>) |
(number-of <var> <sentence>) |
(lambda <var> <term>) | (lambda (<var>+) <term>)
|
(kappa <var> <sentence>) | (kappa (<var>+) <sentence>)