ПЕРЕМЕННЫЕ. Именем переменной может быть любая последовательность латинских и русских букв и цифр, начинающаяся с прописной буквы или символа подчеркивания "_"

Именем переменной может быть любая последовательность латинских и русских букв и цифр, начинающаяся с прописной буквы или символа подчеркивания "_"; это может быть также одиночный символ подчеркивания "_", представляющий анонимную (безымянную) переменную.

ПРИМЕРЫ переменных:

Balloon X _0039 _ A1

Свободная (не имеющая значения) переменная может унифицироваться с любым термом, при этом она может конкретизироваться значением (в случае константы или сложного терма), либо связываться с другой переменной. Для связанной переменной в сопоставлении используется ее значение. Анонимная переменная значения не получает, с ней всегда возможно сопоставление.

СИМВОЛЬНЫЕ КОНСТАНТЫ ИЛИ АТОМЫ

Символьные константы могут содержать латинские буквы, цифры и специальные (прочие) символы (в том числе кириллицу). Если они начинаются с прописной буквы или цифры или содержат специальные символы, то они должны быть заключены в апострофы. Если апостроф используется внутри атома, он удваивается.

ПРИМЕРЫ символьных констант:

tennis '23' 'Paris' юла '----->' 'Mary''s'

Символьная константа всегда унифицируется с такой же символьной константой. Длина символьной константы не должна превышать 255 символов[8].