<На страницу назад | На страницу вперед>
А.2.6 Определения
<definition> ::= <partial-def> | <complete-def>
<complete-def> ::= (define-individual <id> := <term>
) |
(define-function <id> (<var>+) := <term> ) |
(define-relation <id> (<var>+) := <sentence> ) |
<partial-def> ::= (define-individual <id> := <term> )
|
(define-function <id> <sentence>*) |
(define relation <id> (<var>*) :=> <sentence>)