Модуль SomeOne использует конструкторы и отношения для работы с натуральными числами и списками из подключенных модулей Arithm и Lists. Заметим, что в модуле Lists определено индексированное параметризованное отношение List, результатом вычисления которого является список, сконструированный из отношений, переданных в списке параметров, причем длина списка должна быть указана в индексе вызываемого отношения List. Вследствие того, что в языке S-FLOGOL не допускается открытых интервалов в списке значений переменной свертки, отношение List определяет лишь списки ограниченной длины (в данном примере длина списка не должна превышать 100 элементов).

4.3. Системные отношения.

Язык S-FLOGOL является языком без явной типизации, однако для

повышения эффективности вычисления программ и удобства их создания и отладки, в системе реализованы системные типы данных (натуральные числа, списки и строки) и отношения для работы с ними. В программе на языке S-FLOGOL допускается использовать единственный системный тип данных – натуральные числа. Для ввода числовой константы необходимо в теле программы определить отношение-конструктор, именем (идентификатором) котрого является натуральное число. Имена системных отношений с кратким пояснением представлены в приведенной ниже таблице.

36