неол., прогр. единство представления кода и данных.
Правила записываются при помощи термов. Терм по определению - это либо число, либо ''атом'', либо список, либо ''переменная'', либо ''составной терм''. Составной терм состоит из ''функтора'' и ''списка аргументов''. Важен тот факт, что термы используются для представления как программ, так и данных в Прологе. Данное свойство языка программирования называют гомоиконностью.
