ПАРАДИГМЫ ПРОГРАММИРОВАНИЯ

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

Логическое программирование — парадигма программирования, которая
основана на теории и аппарате математической логики с использованием
математических принципов резолюций.

К языкам логического программирования относится язык Prolog.

Код программы на языке системы правил может быть записан
следующим образом:

if condition1 then operator1; if condition2 then operator2; if condition3 then operator3;