Атом - это любая лексема, начинающаяся не с заглавной буквы. Если атом должен начинаться с заглавной буквы, то надо его заключить в кавычки, иначе он будет понят интерпретатором Пролога как имя переменной. Атом, который необязательно заключать в кавычки, может быть записан и в кавычках. Запись с внешними кавычками и без них определяет один и тот же атом.
Атом может быть числом. Однако реализация Пролога в рамках поискового движка преследует определенные цели, в число которых обработка чисел не входит (это вообще слабая сторона Пролога), поэтому никаких особых средств для работы с числами (ни с целыми, ни с действительными) не предусмотрено.
Самое важное расширение нашей реализации - введение нового типа атомов - грамматических деревьев. Сделано это для удобства хранения грамматически упорядоченной информации в предикатах. Таким образом,
atom ::= произвольная_cтрока_без_пробелов
atom ::= "произвольная строка"
atom ::= tree(описание_грамматического_дерева)
Примеры атомов:
1
abc34
"Sokrat"
tree( СУЩЕСТВИТЕЛЬНОЕ:* {} )
© Mental Computing 2010
