логическое программирование (logic programming)

Парадигма программирования, в которой используется булева логика для управления тем, как представляются или выражаются факты и правила, касающиеся задач в системе.