Пролог-автомат (pa) в поисковом движке FAIND: атомы

Атом - это любая лексема, начинающаяся не с заглавной буквы. Если атом должен начинаться с заглавной буквы, то надо его заключить в кавычки, иначе он будет понят интерпретатором Пролога как имя переменной. Атом, который необязательно заключать в кавычки, может быть записан и в кавычках. Запись с внешними кавычками и без них определяет один и тот же атом.

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

Самое важное расширение нашей реализации - введение нового типа атомов - грамматических деревьев. Сделано это для удобства хранения грамматически упорядоченной информации в предикатах. Таким образом,

    atom ::= произвольная_cтрока_без_пробелов

    atom ::= "произвольная строка"

    atom ::= tree(описание_грамматического_дерева)

Примеры атомов:

1

abc34

"Sokrat"

tree( СУЩЕСТВИТЕЛЬНОЕ:* {} )

 

  © Mental Computing 2010