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

Язык S-FLOGOL

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

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

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

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

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

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

Пример: НО

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

Графическое построение сети

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

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

Пример: НО

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

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

Пример

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

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

Расстановка объектов сети

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

Пример: конструктор списка

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

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

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

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=