Описание тега logic-programming

Логическое программирование - это парадигма программирования, основанная на логике первого порядка. Пролог - хорошо известный пример такого языка. Программы в этой парадигме состоят из серии логических утверждений (фактов и правил). Программа запускается путем выполнения запроса к этим операторам.