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

Короткий ответ

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