неол., прогр. единство представления кода и данных ◆ Правила записываются при помощи термов. Терм по определению — это либо число, либо атом, либо список, либо переменная, либо составной терм. Составной терм состоит из функтора и списка аргументов. Важен тот факт, что термы используются для представления как программ, так и данных в Прологе. Данное свойство языка программирования называют гомоиконностью. И. В. Струков, «Библиотечная реализация Пролог-решателя», 2012 // «Сборник статей молодых ученых факультета ВМК МГУ, No9»
