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

Язык S-FLOGOL

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

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

Отношение
Функция
Предикат
Константа

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

Пример: быстрая сортировка

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

…
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

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

В форме

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

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

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

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

[0]Nat=

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

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

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

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

Общий вид системы

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

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

Инструменты ввода

Ввод выбором альтернатив

MODULE Common=
Дом
END

Определение:
Спец [СпИнд]ИдОтн[СпПар]=Рел
Конструктор:
Спец [СпИнд]ИдОтн

MODULE Common=

Ввод идентификаторов

MODULE Common=
Спец [СпИнд]ИдОтн[СпПар]=Рел
END

Текст программы:

Раскрыть:
Текст

Действие:

Форма ввода:

MODULE Common=
Спец

Ввод выражений: операции

∙
*
∇
→
#
∪
∩
~

MODULE Common=
(0:1)[1]Nat=Рел
END

Текст программы:

Операция:

MODULE Common=
(0:1)[1]Nat=Рел∙Рел
END

MODULE Common=

Ввод выражений: IF, Свертка.

Условная конструкция IF

MODULE Common=
(0:1)R=Succ
END

Текст программы:

Действие:

MODULE Common=