Это старая версия (1.2) ЯзыкAWK.

Awk -- язык программирования для обработки текста, с синтаксисом похожим на Си.