7.1. Функции манипулирования знаниями

В зависимости от назначения, основные функции ЭО KAPPA можно условно разделить на ряд групп, в соответствии с которыми они и будут рассмотрены. Специфика языка KAL и ЭО KAPPA не позволяет представить синтаксис функций в классической нормальной Бэкусовской форме. Чтобы не усложнять задачу, просто оговорим ряд правил их написания и вызова.

Список объектов представляет собой последовательность пар вида

<имя объекта> | <имя класса>,

разделенных пробелами и заключенных в квадратные скобки. В случае если список пуст, квадратные скобки все равно указываются.

Синтаксис списка аргументов и списка формальных параметров аналогичен синтаксису списка объектов. Список заключен в квадратные скобки, аргументы разделяются пробелами и не являются обязательными.

Пример.

[People | Lgotn People | Usual] – список объектов из двух элементов.

[1 2 78 56] – список аргументов.

[ ] – пустой список (объектов, аргументов и пр.).

При обычной записи аргумента на его месте необходимо указать требуемое значение параметра, либо значение NULL.

Если аргумент заключен в квадратные скобки следующим образом – [<имя класса>] – то он не является обязательным и его можно опустить.

Запись вида {<вариант_1> ¦ <вариант_2>} означает возможность равнозначного выбора одного из указанных вариантов.