Логическое программирование
- это парадигма программирования, основанная на автоматическом доказательстве теорем
- это парадигма программирования, в которой основными концепциями являются понятия объектов и классов
- это парадигма программирования, которая описывает процесс вычисления в виде инструкций, изменяющих состояние данных
- это парадигма программирования, в которой процесс вычисления трактуется как вычисление значений функций, а решение задачи составляется в виде набора функций
К сожалению, у нас пока нет статистики ответов на данный вопрос,
но мы работаем над этим.