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