Последовательность букв, цифр и знака "подчёркивание" ("_"), обязательно начинающаяся со строчной (маленькой) буквы.
Последовательность спецзнаков ":-", "?-", "=", ">=", "--" и др.
Заключённая в апострофы (одинарные кавычки) последовательность любых символов.
Примеры атомов: abcD, a_gear, '17-256', xyz100.
Любая система программирования Пролог обеспечивает работу с целыми числами и большинство - с действительными.
Константы в Прологе используются для обозначения (именования) конкретных объектов предметной области (ср. с предметными константами ИППП) и конкретных отношений между ними (ср. с предикатными и функциональными буквами ИППП).
Переменная - последовательность букв, цифр и знака "_", обязательно начинающаяся с прописной (большой) буквы или знака "_". Переменные Пролога полностью аналогичны предметным переменным ИППП. В утверждениях языка Пролог переменные связаны не указываемыми явно кванторами общности.
Среди переменных выделена переменная "_" (один знак подчёркивания), называемая анонимной. Она используется в ситуациях, когда нас не интересует её значение.
Структура представляется на языке Пролог с помощью указания её функтора и компонент в следующем виде:
функтор(компонента-1,...,компонента-Т),
где в качестве функтора должен выступать атом, а компонентой может быть любой терм (в том числе и структура).
Структуры языка Пролог используются для представления:
предикатов (т.е. отношений предметной области), при этом функтор играет роль предикатной буквы ИППП;
операций (т.е. операций предметной области), при этом функтор играет роль функциональной буквы;
информации сложной структуры, при этом функтор играет роль имени типа данных (ср. со структурами данных языка СИ).
Использование структур для представления сложных данных (в т.ч. списков) и операций будет рассмотрено ниже.