ГОСТ Р 59791—2021
Введение
Общая логика (CL) — это логическая структура, предназначенная для обмена и передачи инфор
мации. Структура позволяет использовать множество различных синтаксических форм (диалектов), ко
торые с сохранением семантики можно перевести в общий синтаксис на основе XML.
У CL есть несколько новых функций, главными из которых являются синтаксис, допускающий
конструкции «более высокого порядка», например использование квантора по классам или отношени ям
при условии сохранения теории модели первого порядка, и семантика, которая позволяет теориям
описывать интенциональные сущности, например классы или свойства. Кроме того, в CL предусмотре ны
инструменты для обработки типов данных и именования, импорта и передачи содержимого через
Интернет с помощью XML.
IV