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

Содержание

1. FLIDE Система функционально-логического программирования на языке S-FLOGOL
2. Язык S-FLOGOLОснован на теории направленных отношений (НО)
3. Направленные отношенияНаправленным отношением R арности (n,m) на
4. Семантические объектыФункцияПредикатКонстантаНО общего вида
5. Варианты определения НО Пример: определение натурального числа 3Nat3=
6. Определение НО в виде графикаВ форме графика
7. Композиционное определение НОПоследовательная композицияПараллельная композиция
8. Представление натуральных чиселЧисло 2 (сеть):(0:1)Null;(1:1)Succ;Nat2={:Succ(Succ(Null))};Nat3={:Succ(Succ(Succ(Null)))};Число 3 (сеть):Числа 2,3 (текст):
9. Отношения над числамиПример: НО(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))}
10. Отношения над числамиПример: НО(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)}
11. СпискиПример: НО (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]
12. Отношения над спискамиПример: НО(0:1)Nil;(2:1) LCons;(2:1)Append={Nil,x:x};(2:1)Append={LCons(x,xs),ys:LCons(x,@(xs,ys))}
13. QuickSort={LCons(x,xs):Append(@(ls),Append(LCons(x,Nil),@(bs))) ?Partition(xs,x)=ls,bs};QuickSort={Nil:Nil};Пример: НООтношения над списками
14. Индексированные имена НОПример: множество натуральных чисел(I=1..)[I]Nat= Null∙(∙ J=1..I)SuccЭквивалентное множество определений:[0]Nat= Null;[1]Nat= Null∙Succ;[2]Nat= Null∙Succ∙Succ;[3]Nat= Null∙Succ∙Succ∙Succ;…
15. Параметризованные НОMap={LCons(x,xs):LCons(«0»(x),@(xs))};Map={Nil:Nil};SuccList = Map[Succ]Пример:НО(инкрементация элементов списка)
16. где
17. Типизация НОПример: НО
18. Типизация НОПример: типизированное НО
19. Системные типы данныхНатуральные числа (0,1,2,…).Списки ([ ],
20. Среда программированияПроектный подход к организации работы с
21. Общий вид интерфейса системы
22. Графический редактор
23. Текстовый редактор
24. Спасибо за внимание!
25. Скачать презентанцию

Язык S-FLOGOLОснован на теории направленных отношений (НО) (Фальк В.Н., Кутепов В.П.).Имеет развитые средства схемного описания НО.Допускает использование:индексированных имен НО,параметризованных НО.Поддерживает объектно-ориентированный стиль программирования.Позволяет строить многомодульные программы.Обладает средствами ограничения области видимости

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

Слайды и текст этой презентации

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

Слайд 2Язык S-FLOGOL
Основан на теории направленных отношений (НО)
(Фальк В.Н.,

Кутепов В.П.).
Имеет развитые средства схемного описания НО.
Допускает использование:
индексированных имен НО,
параметризованных

НО.
Поддерживает объектно-ориентированный стиль программирования.
Позволяет строить многомодульные программы.
Обладает средствами ограничения области видимости определяемых отношений (Private-домены).

Язык S-FLOGOLОснован на теории направленных отношений (НО) (Фальк В.Н., Кутепов В.П.).Имеет развитые средства схемного описания НО.Допускает

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

множество упорядоченных пар кортежей элементов D длины n и m,

соответственно.

НО R(n,m) может моделироваться (n+m)-арным отношением R’ на D:

Естественной и наглядной формой определения НО и основой эффективной организации их вычисления является представление в форме сетевых языков.
НО характеризуются наличием фундаментальных свойств – тотальности и функциональности прямых и обратных НО.

Направленные отношенияНаправленным отношением R арности (n,m) на носителе D называется множество упорядоченных пар кортежей элементов D длины

Слайд 4Семантические объекты
Функция

Предикат

Константа

НО общего вида

Слайд 5Варианты определения НО
Пример: определение натурального числа 3
Nat3= Null∙Succ∙Succ∙Succ
В форме графика:
В

форме композиции:

Nat3= {:Succ(Succ(Succ(Null))))}
При помощи свертки:
Nat3= Null∙(∙ I=1..3)Succ

Варианты определения НО Пример: определение натурального числа 3Nat3= Null∙Succ∙Succ∙SuccВ форме графика:В форме композиции:Nat3= {:Succ(Succ(Succ(Null))))}При помощи свертки:Nat3= Null∙(∙ I=1..3)Succ

Слайд 6Определение НО в виде графика
В форме графика НО задается в

виде

R = { Терм1 : Терм2 ? Формула }

, где

Терм1 – входной терм (образец аргументов вызова),

Терм2 – выходной терм (результат вызова),

Формула – набор ограничений вида Терм = Терм, Терм <> Терм.

Определение НО в виде графикаВ форме графика НО задается в виде R = { Терм1 : Терм2 ?

Слайд 7Композиционное определение НО
Последовательная композиция
Параллельная композиция

Слайд 8Представление натуральных чисел
Число 2 (сеть):
(0:1)Null;
(1:1)Succ;
Nat2={:Succ(Succ(Null))};
Nat3={:Succ(Succ(Succ(Null)))};
Число 3 (сеть):
Числа 2,3 (текст):

Слайд 9Отношения над числами
Пример: НО
(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))}

Слайд 10Отношения над числами
Пример: НО
(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)}

Слайд 11Списки
Пример: НО

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

Слайд 12Отношения над списками
Пример: НО
(0:1)Nil;
(2:1) LCons;
(2:1)Append={Nil,x:x};
(2:1)Append={LCons(x,xs),ys:LCons(x,@(xs,ys))}

Слайд 13QuickSort=
{LCons(x,xs):Append(@(ls),Append(LCons(x,Nil),@(bs)))
?Partition(xs,x)=ls,bs};
QuickSort={Nil:Nil};
Пример: НО
Отношения над списками

Слайд 14Индексированные имена НО
Пример: множество натуральных чисел
(I=1..)[I]Nat= Null∙(∙ J=1..I)Succ
Эквивалентное множество определений:
[0]Nat=

Null;
[1]Nat= Null∙Succ;
[2]Nat= Null∙Succ∙Succ;
[3]Nat= Null∙Succ∙Succ∙Succ;
…

Индексированные имена НОПример: множество натуральных чисел(I=1..)[I]Nat= Null∙(∙ J=1..I)SuccЭквивалентное множество определений:[0]Nat= Null;[1]Nat= Null∙Succ;[2]Nat= Null∙Succ∙Succ;[3]Nat= Null∙Succ∙Succ∙Succ;…

Слайд 15Параметризованные НО
Map={LCons(x,xs):LCons(«0»(x),@(xs))};
Map={Nil:Nil};
SuccList = Map[Succ]
Пример:НО
(инкрементация элементов списка)

Слайд 16где – сорта входных(выходных)

данных,
определяется в сетевой форме как:
Типовые НО
Типовое отношение для типа

где

– отношение арности (0,1), генерирующее данные сорта t. Описание отношения R типа T будет иметь вид , где e – реляционное выражение, определяющее направленное отношение арности .

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

Слайд 17Типизация НО
Пример: НО

Слайд 18Типизация НО
Пример: типизированное НО

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

записи списка [A,B,C] в сетевой форме при помощи конструктора списка

и системного генератора списков:

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

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

графического и структурированного текстового построения программ.
Интегрированные средства разработки и отладки.
Собственное

сетевое ядро вычислений и компилятор запросов на языке S-FLOGOL.
Возможность ограниченного импорта программ, написанных на языке Пролог.
Реализация в среде C++ Builder 5.0.

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

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

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

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

Слайд 24Спасибо за внимание!

Скачать презентацию

Разделы презентаций

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

Содержание

Слайды и текст этой презентации

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

Слайд 2Язык S-FLOGOL
Основан на теории направленных отношений (НО)
(Фальк В.Н.,

Кутепов В.П.).
Имеет развитые средства схемного описания НО.
Допускает использование:
индексированных имен НО,
параметризованных

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

множество упорядоченных пар кортежей элементов D длины n и m,

Слайд 4Семантические объекты
Функция

Предикат

Константа

НО общего вида

Слайд 5Варианты определения НО
Пример: определение натурального числа 3
Nat3= Null∙Succ∙Succ∙Succ
В форме графика:
В

форме композиции:

Nat3= {:Succ(Succ(Succ(Null))))}
При помощи свертки:
Nat3= Null∙(∙ I=1..3)Succ

Слайд 6Определение НО в виде графика
В форме графика НО задается в

виде

R = { Терм1 : Терм2 ? Формула }

Слайд 7Композиционное определение НО
Последовательная композиция
Параллельная композиция

Слайд 8Представление натуральных чисел
Число 2 (сеть):
(0:1)Null;
(1:1)Succ;
Nat2={:Succ(Succ(Null))};
Nat3={:Succ(Succ(Succ(Null)))};
Число 3 (сеть):
Числа 2,3 (текст):

Слайд 9Отношения над числами
Пример: НО
(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))}

Слайд 10Отношения над числами
Пример: НО
(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)}

Слайд 11Списки
Пример: НО

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

Слайд 12Отношения над списками
Пример: НО
(0:1)Nil;
(2:1) LCons;
(2:1)Append={Nil,x:x};
(2:1)Append={LCons(x,xs),ys:LCons(x,@(xs,ys))}

Слайд 13QuickSort=
{LCons(x,xs):Append(@(ls),Append(LCons(x,Nil),@(bs)))
?Partition(xs,x)=ls,bs};
QuickSort={Nil:Nil};
Пример: НО
Отношения над списками

Слайд 14Индексированные имена НО
Пример: множество натуральных чисел
(I=1..)[I]Nat= Null∙(∙ J=1..I)Succ
Эквивалентное множество определений:
[0]Nat=

Null;
[1]Nat= Null∙Succ;
[2]Nat= Null∙Succ∙Succ;
[3]Nat= Null∙Succ∙Succ∙Succ;
…

Слайд 15Параметризованные НО
Map={LCons(x,xs):LCons(«0»(x),@(xs))};
Map={Nil:Nil};
SuccList = Map[Succ]
Пример:НО
(инкрементация элементов списка)

Слайд 16где – сорта входных(выходных)

данных,
определяется в сетевой форме как:
Типовые НО
Типовое отношение для типа

где

Слайд 17Типизация НО
Пример: НО

Слайд 18Типизация НО
Пример: типизированное НО

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

записи списка [A,B,C] в сетевой форме при помощи конструктора списка

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

графического и структурированного текстового построения программ.
Интегрированные средства разработки и отладки.
Собственное

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

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

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

Слайд 24Спасибо за внимание!

Обратная связь

Что такое TheSlide.ru?

Разделы презентаций

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

Содержание

Слайды и текст этой презентации

Слайд 1FLIDEСистемафункционально-логического программирования на языке S-FLOGOLFLOGOL Integrated Development Environment

Слайд 2Язык S-FLOGOLОснован на теории направленных отношений (НО) (Фальк В.Н.,

Кутепов В.П.).Имеет развитые средства схемного описания НО.Допускает использование:индексированных имен НО,параметризованных

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

множество упорядоченных пар кортежей элементов D длины n и m,

Слайд 4Семантические объектыФункцияПредикатКонстантаНО общего вида

Слайд 5Варианты определения НО Пример: определение натурального числа 3Nat3= Null∙Succ∙Succ∙SuccВ форме графика:В

форме композиции:Nat3= {:Succ(Succ(Succ(Null))))}При помощи свертки:Nat3= Null∙(∙ I=1..3)Succ

Слайд 6Определение НО в виде графикаВ форме графика НО задается в

виде R = { Терм1 : Терм2 ? Формула }

Слайд 7Композиционное определение НОПоследовательная композицияПараллельная композиция

Слайд 8Представление натуральных чиселЧисло 2 (сеть):(0:1)Null;(1:1)Succ;Nat2={:Succ(Succ(Null))};Nat3={:Succ(Succ(Succ(Null)))};Число 3 (сеть):Числа 2,3 (текст):

Слайд 9Отношения над числамиПример: НО(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))}

Слайд 10Отношения над числамиПример: НО(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)}

Слайд 11СпискиПример: НО

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

Слайд 12Отношения над спискамиПример: НО(0:1)Nil;(2:1) LCons;(2:1)Append={Nil,x:x};(2:1)Append={LCons(x,xs),ys:LCons(x,@(xs,ys))}

Слайд 13QuickSort={LCons(x,xs):Append(@(ls),Append(LCons(x,Nil),@(bs))) ?Partition(xs,x)=ls,bs};QuickSort={Nil:Nil};Пример: НООтношения над списками

Слайд 14Индексированные имена НОПример: множество натуральных чисел(I=1..)[I]Nat= Null∙(∙ J=1..I)SuccЭквивалентное множество определений:[0]Nat=

Null;[1]Nat= Null∙Succ;[2]Nat= Null∙Succ∙Succ;[3]Nat= Null∙Succ∙Succ∙Succ;…

Слайд 15Параметризованные НОMap={LCons(x,xs):LCons(«0»(x),@(xs))};Map={Nil:Nil};SuccList = Map[Succ]Пример:НО(инкрементация элементов списка)

Слайд 16где – сорта входных(выходных)

данных,определяется в сетевой форме как:Типовые НОТиповое отношение для типагде

Слайд 17Типизация НОПример: НО

Слайд 18Типизация НОПример: типизированное НО

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

записи списка [A,B,C] в сетевой форме при помощи конструктора списка

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

графического и структурированного текстового построения программ.Интегрированные средства разработки и отладки.Собственное

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

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

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

Слайд 24Спасибо за внимание!

Похожие презентации

Обратная связь

Что такое TheSlide.ru?

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

Слайд 2Язык S-FLOGOL
Основан на теории направленных отношений (НО)
(Фальк В.Н.,

Кутепов В.П.).
Имеет развитые средства схемного описания НО.
Допускает использование:
индексированных имен НО,
параметризованных

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

Слайд 4Семантические объекты
Функция

Предикат

Константа

НО общего вида

Слайд 5Варианты определения НО
Пример: определение натурального числа 3
Nat3= Null∙Succ∙Succ∙Succ
В форме графика:
В

форме композиции:

Nat3= {:Succ(Succ(Succ(Null))))}
При помощи свертки:
Nat3= Null∙(∙ I=1..3)Succ

Слайд 6Определение НО в виде графика
В форме графика НО задается в

виде

R = { Терм1 : Терм2 ? Формула }

Слайд 7Композиционное определение НО
Последовательная композиция
Параллельная композиция

Слайд 8Представление натуральных чисел
Число 2 (сеть):
(0:1)Null;
(1:1)Succ;
Nat2={:Succ(Succ(Null))};
Nat3={:Succ(Succ(Succ(Null)))};
Число 3 (сеть):
Числа 2,3 (текст):

Слайд 9Отношения над числами
Пример: НО
(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))}

Слайд 10Отношения над числами
Пример: НО
(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)}

Слайд 11Списки
Пример: НО

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

Слайд 12Отношения над списками
Пример: НО
(0:1)Nil;
(2:1) LCons;
(2:1)Append={Nil,x:x};
(2:1)Append={LCons(x,xs),ys:LCons(x,@(xs,ys))}

Слайд 13QuickSort=
{LCons(x,xs):Append(@(ls),Append(LCons(x,Nil),@(bs)))
?Partition(xs,x)=ls,bs};
QuickSort={Nil:Nil};
Пример: НО
Отношения над списками

Слайд 14Индексированные имена НО
Пример: множество натуральных чисел
(I=1..)[I]Nat= Null∙(∙ J=1..I)Succ
Эквивалентное множество определений:
[0]Nat=

Null;
[1]Nat= Null∙Succ;
[2]Nat= Null∙Succ∙Succ;
[3]Nat= Null∙Succ∙Succ∙Succ;
…

Слайд 15Параметризованные НО
Map={LCons(x,xs):LCons(«0»(x),@(xs))};
Map={Nil:Nil};
SuccList = Map[Succ]
Пример:НО
(инкрементация элементов списка)

данных,
определяется в сетевой форме как:
Типовые НО
Типовое отношение для типа

где

Слайд 17Типизация НО
Пример: НО

Слайд 18Типизация НО
Пример: типизированное НО

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

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

графического и структурированного текстового построения программ.
Интегрированные средства разработки и отладки.
Собственное