Главная /
Логическое программирование /
Какой из перечисленных ниже языков программирования описывает формальную аксиоматическую систему со свойствами инкапсуляции, наследования и полиморфизма на основе расширения логики первого порядка?
Какой из перечисленных ниже языков программирования описывает формальную аксиоматическую систему со свойствами инкапсуляции, наследования и полиморфизма на основе расширения логики первого порядка?
вопросПравильный ответ:
prolog
description logics
f-logic
Сложность вопроса
63
Сложность курса: Логическое программирование
29
Оценить вопрос
Комментарии:
Аноним
Зачёт всё. Лечу отмечать отмечать экзамен интуит
30 апр 2020
Аноним
спасибо за тест
05 фев 2020
Другие ответы на вопросы из темы программирование интуит.
- # Информированный метод поиска - это ...
- # На языке программирования Prolog константы начинаются:
- # Связанная переменная в программе на языке Prolog:
- # SLDNF-резолюция ...
- # Укажите ответ на запрос ?- num_legs(centipede,X). для приведенной ниже программы Prolog: num_legs(centipede,40) :- !. num_legs(human,2) :- !. num_legs(_,4).