Любое имя, используемое в Прологе (Prolog), должно состоять не более чем из 250 символов, первый из которых при этом должен обязательно быть строчной буквой латинского алфавита (от a до z).

Пробелы в записи имени недопустимы, однако можно использовать знак подчеркивания (_) в качестве разделителя:

employee_name
color_of_box

Можно задавать имена, состоящие всего из одной буквы:

domains
  a,b = symbol
predicates
  s(a,b)

Имена переменных в Прологе начинаются с ПРОПИСНОЙ буквы.