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

Язык S-FLOGOL

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

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

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

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

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

Варианты определения НО

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

Nat3= Null∙Succ∙Succ∙Succ

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

В форме

Определение НО в виде графика

В форме графика НО задается в виде
R

Композиционное определение НО

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

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

Представление натуральных чисел

Число 2 (сеть):

(0:1)Null;
(1:1)Succ;
Nat2={:Succ(Succ(Null))};
Nat3={:Succ(Succ(Succ(Null)))};

Число 3 (сеть):

Числа 2,3 (текст):

Отношения над числами

Пример: НО

(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))}

Отношения над числами

Пример: НО

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

Списки

Пример: НО

(0:1)Nil;
(1:1)LCons;
(0:1)A;
(0:1)B;
(0:1)C;
(0:1)D;
(0:1)List={:LCons(A,LCons(B,LCons(C,LCons(D,Nil)))}

[A,B,C,D]

Отношения над списками

Пример: НО

(0:1)Nil;
(2:1) LCons;
(2:1)Append={Nil,x:x};
(2:1)Append={LCons(x,xs),ys:LCons(x,@(xs,ys))}

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

Пример: НО

Отношения над списками

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

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

(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]

Пример:НО

(инкрементация элементов списка)

где – сорта входных(выходных) данных,
определяется в сетевой форме как:

Типовые НО

Типовое отношение

Типизация НО

Пример: НО

Типизация НО

Пример: типизированное НО

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

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

Пример записи

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

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

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

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

Текстовый редактор