TeaCODE.com. Описание Флэнга. Функции и структуры

(1)?- person("Иванов", "Иван") :- 1945;

(2)?- person("Иванов", X);

1945
X = "Иван"

(3)?- person("Иванов", "Иван", 1945);

*** RunError: Function 'person/3' not defined

(4)?- struct("person/3");

true

(5)?- person("Иванов", "Иван", 1945);

person("Иванов", "Иван", 1945)

(6)?- getName(person(_, Name, _)) :- Name;

(7)?- getName(person("Иванов", "Иван", 1945));

"Иван"

(8)?- struct("person/2");

*** RunError: Functor person/2 is already
in use in 'struct/1'

Последовательность работы с интерпретатором

Определяем двуместную функцию 'person', вычисляющую по имени-фамилии год рождения. Обратите внимание, что правила можно не только загружать из программы, но и вводить непосредственно во Флэнг-интерпретаторе.
Вызываем функцию person/2 с первым аргументом 'Иванов'. Флэнг-система находит значение функции, уточняя при этом второй аргумент
Делаем запрос person("Иванов", "Иван", 1945). Флэнг-система выдает ошибку, поскольку person/3 не определена ни как функция, ни как структура.
Определяем person/3 как структуру.
Повторяем запрос person("Иванов", "Иван", 1945). Терм, определяемый структурой person/3, равен сам себе.
Определяем функцию getName, которая, получая на вход структуру person/3, возвращает имя персоны. Обратите внимание на использование "пустой" переменной '_'. Она используется в тех случаях, когда значение соответствующего аргумента или поля нас совсем не интересует.
Находим имя Иванова.
Пытаемся определить как структуру person/2. Система не позволяет это сделать, поскольку person/2 уже используется как функция.