Атомы в программировании — это аналог именованных констант из других языков, причём значение атома в точности соответствует его названию. 2 Грубо говоря, атом — это строка, которую нельзя изменить. 2 В языке Erlang булевы типы данных — это два зарезервированных атома: true и false. 2

Булевы значения в программировании применяются для представления логических символов. 1 Например, в Erlang для этого используются атомы true и false, которые получают особую интерпретацию. 1 В языке реализованы все основные логические операции: «и» (and), «или» (or), «исключающее или» (xor) и «отрицание» (not). 2

Также атомы используются как имена для объектов и отношений в программе, например, в языке Пролог. 3