Логическое программирование, где программа это набор логических правил и фактов. Подходит для Prolog, дедуктивных баз данных и логического вывода.
Статей пока нет. Будьте первым!