Логический язык программирования Пролог: примеры и визуализация кода