Укажите онтологический язык, который базируется на логиках первого порядка, однако классы и свойства в нем представлены как термины, а не как предикаты:

Правильный ответ:

• # Динамический контроль типов данных в программе происходит:
• # Язык функционального программирования является:
• # Укажите определение линейной стратегии резолюции:
• # Укажите предикат языка Prolog, который используется для определения суммы элементов списка:
• # Предикат not(P) в языке программирования Prolog завершается успехом, если: