?- Atom;

  S0_0
    Atom = S0_0

?- atom;

  atom

?- Atom1 = Atom2;

  true
    Atom1 = S0_0
    Atom2 = S0_0

?- atom1 = atom2;

  fail
      

Мы уже активно пользовались атомами при решении логической задачи о генеалогическом древе. Там атомы использовались для именования людей. Способ применения атомов в той задаче - чисто прологовский. Однако в отличие от пролога, атом во Флэнге не только именует какие-то абстрактные объекты, но и может нести об этом объекте некоторую дополнительную информацию. Это делается через присваивание атому атрибута:

?- number := 3;

  true
      

?- number;

  number

?- ^number;

  3
      

?- list := [1,2,3,4,5];

  true

?- head([X|Y]) :- X;

?- head(X) :- not_a_list;

?- head(list);

  not_a_list

?- head(^list);

  1
      

?- not_a_list := "не список";

  true

?- ^head(list);

  "не список"

      

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

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

  ?- collect := [];

  readInput() :-
      write("input> "),
      addInput(read())
      ;

  addInput(Input) :- Input = nl(), ^collect;
  addInput(Input) :-
      collect := [sTrim(Input) | ^collect],
      readInput();

  ?- readInput();

mПримечания

Работа в интерпретаторе:

?- load(atoms);

 input> hello
 input> how are things?
 input> see you
 input>

   ["see you", "how are things?", "hello"]

m Что делалось