Логическое программирование, где программа это набор логических правил и фактов. Подходит для Prolog, дедуктивных баз данных и логического вывода.
Нажмите рядом со статьёй — скопируете ссылку для списка литературы по ГОСТ.