Онтологическое программирование

Онтологическое программирование — разновидность логического программирования, основанная на работе с онтологиями (формализованными структурами данных, сходными с абстрактными типами данных и классами).

Общая информация

Концептуально эта парадигма близка к объектно-ориентированному программированию.

Основная идея онтологического программирования: внутренняя структура программы отражает определенные знания, которые следует выразить явно.

Языки

• F-logic
• Go!
• CASL