FLIDE Система функционально-логического программирования на языке S-FLOGOL

Язык S-FLOGOL

Основан на теории направленных отношений (НО)
(Фальк В.Н., Кутепов В.П.).
Имеет

Направленные отношения

Направленным отношением R арности (n,m) на носителе D называется множество

Семантические объекты

Функция
Предикат
Константа
НО общего вида

Сетевое представление НО

Пример: НО (сумма)

Сетевое представление НО

Пример: НО

(быстрая сортировка)

Текстовое представление НО

В текстовой форме НО задается в виде
R = {Терм1

Текстовое представление НО

Пример: НО

(0:1)Null;
(1:1)Succ;
(2:1)Add={Null,x:x};
(2:1)Add={Succ(x),y:Succ(@(x,y))}
или
(2:1)Add={Null,x:x}U{Succ(x),y:Succ(@(x,y))}

Текстовое представление НО

…
QuickSort=
{LCons(x,xs):Append(@(ls),Append(LCons(x,Nil),@(bs)))
?Partition(xs,x)=ls,bs};
QuickSort={Nil:Nil};

Пример: НО

Композиция НО

Последовательная композиция

Параллельная композиция

Способы определения НО

Пример: определение натурального числа 3

Nat3= Null∙Succ∙Succ∙Succ

В форме графика:

В форме

Индексированные имена НО

Пример: множество натуральных чисел

(I=1..)[I]Nat= Null∙(∙ J=1..I)Succ

Эквивалентное множество определений:

[0]Nat= Null;
[1]Nat=

Параметризованные определения НО

Map={LCons(x,xs):LCons(«0»(x),@(xs))};
Map={Nil:Nil};
SuccList = Map[Succ]

Пример:НО SuccList (инкрементация элементов списка)

Среда программирования

Проектный подход к организации работы с комплексами программ.
Оригинальные технологии графического

Системные типы данных

Натуральные числа (0,1,2,…).
Списки термов ([ ], [A(B),[D]]).
Строки (‘Some text’).

Пример

Общий вид интерфейса системы

Графический редактор