Лекция 14: F-Logic и объектно-ориентированное логическое программирование

Подробности

Категория: Логическое программирование от НОУ ИНТУИТ

Объектно-ориентированное программирование. Парадигмы программирования и представления данных. Основные подходы применительно к логике F-logic на примере. Построение F-логики. Множественное описание сущностей и связей. Формальная семантика. Расширение семантики на сложные концепты.