База ответов ИНТУИТ

Логическое программирование

<<- Назад к вопросам

Какой из перечисленных ниже языков программирования описывает формальную аксиоматическую систему со свойствами инкапсуляции, наследования и полиморфизма на основе расширения логики первого порядка?

(Отметьте один правильный вариант ответа.)

Варианты ответа
prolog
f-logic(Верный ответ)
description logics
Похожие вопросы
Какой из языков программирования является функциональным?
Какой из языков программирования является логическим?
Какой из языков программирования является императивным?
Укажите особенность функциональных языков программирования:
Укажите особенность логических языков программирования:
Укажите особенности логических языков программирования:
Укажите особенность императивных языков программирования:
Парадигма программирования, которая описывает процесс вычисления в виде инструкций, изменяющих состояние программы, называется:
Укажите онтологический язык, который базируется на логиках первого порядка, однако классы и свойства в нем представлены как термины, а не как предикаты:
К какой категории представления знаний относятся дескриптивные логики?