Глава 3.Определение данных








В общем случае, термы языка могут обозначать:

1.элементы данных;
2.экземпляры классов;
3.значения лексем «переменная» (если речь идёт о несвязанных переменных).

терм =

простой_терм
составной_терм |
вызов_функции_в_предложении

Элементы данных создаются входе исполнения вызовов предикатов, во время построения слотов миров, а также во время глобальных операций с общими переменными.

В дальнейшем, когда будет идти речь об унификации и других операциях с термами, следует иметь в виду обработку значений термов.

В качестве функторов составных термов и атомарных формул используются символы и метапеременные (метафункторы):

функтор = символ | метапеременная

Метапеременными, называются переменные, используемые в качестве функторов и символов. Метапеременные, используемые в качестве функторов, называются метафункторами.

метапеременная = переменная

В качестве функторов метапеременные разрешается использовать только в составе предложений и только при условии, что такой же метафунктор является именем предиката в заголовке рассматриваемого предложения. Функтор, используемый в составе определения класса и совпадающий с некоторым атрибутом этого класса, должен быть символом в апострофах.



Содержание