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

 

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