Парадигма программирования, в которой процесс вычисления трактуется как вычисление значений функций в математическом понимании последних, называется:
Парадигма программирования, основанная на автоматическом доказательстве теорем, называется:
Императивное программирование - это парадигма программирования, ...
Логическое программирование - это парадигма программирования ...
Функциональное программирование - это парадигма программирования, ...
Какой из перечисленных ниже языков программирования описывает формальную аксиоматическую систему со свойствами инкапсуляции, наследования и полиморфизма на основе расширения логики первого порядка?
Какой предикат языка программирования Prolog позволяет удалить указанное правило из базы данных программы в процессе ее выполнения:
Какой предикат языка программирования Prolog позволяет добавить указанное правило в базу данных программы в процессе ее выполнения:
Укажите оператор вычисления значения выражения в Prolog:
Язык программирования F# является: