Информационные технологии

Представителем логического подхода является язык программирования:

Пролог