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

Содержание

1. Система функционально-логического программирования на языке S-FLOGOL
2. Язык S-FLOGOLОснован на теории направленных отношений
3. Семантические объектыОтношениеФункцияПредикатКонстанта
4. Сетевое представлениеПример: быстрая сортировка
5. Текстовое представление…QuickSort={LCons(x,xs):Append(@(ls),Append(LCons(x,Nil),@(bs))) ?Partition(xs,x)=ls,bs};QuickSort={Nil:Nil};Пример: быстрая сортировка
6. Композиции и свертки Пример: определение натурального числа 3Nat3=
7. Индексированные именаПример: множество натуральных чисел[0]Nat= Null;(∙ 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;…
8. Среда программированияПроектный подход к организации работы с
9. Системные типы данныхНатуральные числа (0,1,2,…).Списки основных термов
10. Общий вид системы
11. Графический редактор
12. Текстовый редактор
13. Инструменты ввода
14. Ввод выбором альтернативMODULE Common= ДомENDОпределение:Спец [СпИнд]ИдОтн[СпПар]=РелКонструктор:
15. Ввод идентификаторовMODULE Common= Спец [СпИнд]ИдОтн[СпПар]=РелENDТекст программы:Раскрыть:ТекстДействие:Форма ввода:MODULE Common= Спец [СпИнд]Add[СпПар]=РелEND
16. Ввод выражений: операции∙*∇→#∪∩~MODULE Common= (0:1)[1]Nat=РелENDТекст программы:Операция:MODULE Common= (0:1)[1]Nat=Рел∙РелENDMODULE Common= (0:1)[1]Nat=Null∙SuccEND…
17. Ввод выражений: IF, Свертка.Условная конструкция IFMODULE Common=
18. Автоструктурирование текста
19. Скачать презентанцию

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

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

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

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

Environment

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

В.П.)
Имеет развитые средства схемного описания направленных отношений
Допускает использование индексированных

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

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

Слайд 3Семантические объекты
Отношение

Функция

Предикат

Константа

Слайд 4Сетевое представление
Пример: быстрая сортировка

Слайд 5Текстовое представление
…
QuickSort=
{LCons(x,xs):Append(@(ls),Append(LCons(x,Nil),@(bs)))
?Partition(xs,x)=ls,bs};
QuickSort={Nil:Nil};
Пример: быстрая сортировка

Текстовое представление…QuickSort={LCons(x,xs):Append(@(ls),Append(LCons(x,Nil),@(bs))) ?Partition(xs,x)=ls,bs};QuickSort={Nil:Nil};Пример: быстрая сортировка

Слайд 6Композиции и свертки
Пример: определение натурального числа 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))))}При помощи свертки по последовательной

Слайд 7Индексированные имена
Пример: множество натуральных чисел
[0]Nat= Null;
(∙ 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;
…

Индексированные именаПример: множество натуральных чисел[0]Nat= Null;(∙ 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;…

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

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

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

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

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

(‘Some text’).
Пример записи списка [A,B,C] в сетевой форме при помощи

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

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

Слайд 10Общий вид системы

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

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

Слайд 13Инструменты ввода

Слайд 14Ввод выбором альтернатив
MODULE Common=
Дом
END
Определение:
Спец [СпИнд]ИдОтн[СпПар]=Рел
Конструктор:
Спец [СпИнд]ИдОтн
MODULE Common=

Спец [СпИнд]ИдОтн[СпПар]=Рел
END
Вызов отношения:
ИмяОтн
График:
{Терм:Терм?Формула}
MODULE Common=
Спец [СпИнд]ИдОтн[СпПар]={Терм:Терм?Формула}
END
Текст программы:
Выбор

альтернативы:

Ввод выбором альтернативMODULE Common= ДомENDОпределение:Спец [СпИнд]ИдОтн[СпПар]=РелКонструктор: Спец [СпИнд]ИдОтн MODULE Common= Спец [СпИнд]ИдОтн[СпПар]=РелENDВызов отношения:ИмяОтнГрафик: {Терм:Терм?Формула}MODULE Common=

Слайд 15Ввод идентификаторов
MODULE Common=
Спец [СпИнд]ИдОтн[СпПар]=Рел
END
Текст программы:
Раскрыть:
Текст
Действие:
Форма ввода:
MODULE Common=

Спец [СпИнд]Add[СпПар]=Рел
END

Ввод идентификаторовMODULE Common= Спец [СпИнд]ИдОтн[СпПар]=РелENDТекст программы:Раскрыть:ТекстДействие:Форма ввода:MODULE Common= Спец [СпИнд]Add[СпПар]=РелEND

Слайд 16Ввод выражений: операции
∙
*
∇
→
#
∪
∩
~
MODULE Common=
(0:1)[1]Nat=Рел
END
Текст программы:
Операция:
MODULE Common=
(0:1)[1]Nat=Рел∙Рел
END
MODULE

Common=
(0:1)[1]Nat=Null∙Succ
END
…

Ввод выражений: операции∙*∇→#∪∩~MODULE Common= (0:1)[1]Nat=РелENDТекст программы:Операция:MODULE Common= (0:1)[1]Nat=Рел∙РелENDMODULE Common= (0:1)[1]Nat=Null∙SuccEND…

Слайд 17Ввод выражений: IF, Свертка.
Условная конструкция IF
MODULE Common=
(0:1)R=Succ
END
Текст программы:
Действие:
MODULE

Common=
(0:1)R=IF Лог THEN Рел ELSE Succ
END
MODULE Common=

(0:1)R=(ИдСв=СпЗнач)Succ
END

Свертка

Кнопка:

Слайд 18Автоструктурирование текста

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

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

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

Содержание

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

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

Environment

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

В.П.)
Имеет развитые средства схемного описания направленных отношений
Допускает использование индексированных

Слайд 3Семантические объекты
Отношение

Функция

Предикат

Константа

Слайд 4Сетевое представление
Пример: быстрая сортировка

Слайд 5Текстовое представление
…
QuickSort=
{LCons(x,xs):Append(@(ls),Append(LCons(x,Nil),@(bs)))
?Partition(xs,x)=ls,bs};
QuickSort={Nil:Nil};
Пример: быстрая сортировка

Слайд 6Композиции и свертки
Пример: определение натурального числа 3
Nat3= Null∙Succ∙Succ∙Succ
В форме графика:
В

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

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

Слайд 7Индексированные имена
Пример: множество натуральных чисел
[0]Nat= Null;
(∙ 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;
…

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

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

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

(‘Some text’).
Пример записи списка [A,B,C] в сетевой форме при помощи

Слайд 10Общий вид системы

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

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

Слайд 13Инструменты ввода

Слайд 14Ввод выбором альтернатив
MODULE Common=
Дом
END
Определение:
Спец [СпИнд]ИдОтн[СпПар]=Рел
Конструктор:
Спец [СпИнд]ИдОтн
MODULE Common=

Спец [СпИнд]ИдОтн[СпПар]=Рел
END
Вызов отношения:
ИмяОтн
График:
{Терм:Терм?Формула}
MODULE Common=
Спец [СпИнд]ИдОтн[СпПар]={Терм:Терм?Формула}
END
Текст программы:
Выбор

Слайд 15Ввод идентификаторов
MODULE Common=
Спец [СпИнд]ИдОтн[СпПар]=Рел
END
Текст программы:
Раскрыть:
Текст
Действие:
Форма ввода:
MODULE Common=

Спец [СпИнд]Add[СпПар]=Рел
END

Слайд 16Ввод выражений: операции
∙
*
∇
→
#
∪
∩
~
MODULE Common=
(0:1)[1]Nat=Рел
END
Текст программы:
Операция:
MODULE Common=
(0:1)[1]Nat=Рел∙Рел
END
MODULE

Common=
(0:1)[1]Nat=Null∙Succ
END
…

Слайд 17Ввод выражений: IF, Свертка.
Условная конструкция IF
MODULE Common=
(0:1)R=Succ
END
Текст программы:
Действие:
MODULE

Common=
(0:1)R=IF Лог THEN Рел ELSE Succ
END
MODULE Common=

Слайд 18Автоструктурирование текста

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

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

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

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

Содержание

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

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

Environment

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

В.П.)Имеет развитые средства схемного описания направленных отношений Допускает использование индексированных

Слайд 3Семантические объектыОтношениеФункцияПредикатКонстанта

Слайд 4Сетевое представлениеПример: быстрая сортировка

Слайд 5Текстовое представление…QuickSort={LCons(x,xs):Append(@(ls),Append(LCons(x,Nil),@(bs))) ?Partition(xs,x)=ls,bs};QuickSort={Nil:Nil};Пример: быстрая сортировка

Слайд 6Композиции и свертки Пример: определение натурального числа 3Nat3= Null∙Succ∙Succ∙SuccВ форме графика:В

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

Слайд 7Индексированные именаПример: множество натуральных чисел[0]Nat= Null;(∙ 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;…

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

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

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

(‘Some text’).Пример записи списка [A,B,C] в сетевой форме при помощи

Слайд 10Общий вид системы

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

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

Слайд 13Инструменты ввода

Слайд 14Ввод выбором альтернативMODULE Common= ДомENDОпределение:Спец [СпИнд]ИдОтн[СпПар]=РелКонструктор: Спец [СпИнд]ИдОтн MODULE Common=

Спец [СпИнд]ИдОтн[СпПар]=РелENDВызов отношения:ИмяОтнГрафик: {Терм:Терм?Формула}MODULE Common= Спец [СпИнд]ИдОтн[СпПар]={Терм:Терм?Формула}ENDТекст программы:Выбор

Слайд 15Ввод идентификаторовMODULE Common= Спец [СпИнд]ИдОтн[СпПар]=РелENDТекст программы:Раскрыть:ТекстДействие:Форма ввода:MODULE Common=

Спец [СпИнд]Add[СпПар]=РелEND

Слайд 16Ввод выражений: операции∙*∇→#∪∩~MODULE Common= (0:1)[1]Nat=РелENDТекст программы:Операция:MODULE Common= (0:1)[1]Nat=Рел∙РелENDMODULE

Common= (0:1)[1]Nat=Null∙SuccEND…

Слайд 17Ввод выражений: IF, Свертка.Условная конструкция IFMODULE Common= (0:1)R=SuccENDТекст программы:Действие:MODULE

Common= (0:1)R=IF Лог THEN Рел ELSE SuccENDMODULE Common=

Слайд 18Автоструктурирование текста

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

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

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

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

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

В.П.)
Имеет развитые средства схемного описания направленных отношений
Допускает использование индексированных

Слайд 3Семантические объекты
Отношение

Функция

Предикат

Константа

Слайд 4Сетевое представление
Пример: быстрая сортировка

Слайд 5Текстовое представление
…
QuickSort=
{LCons(x,xs):Append(@(ls),Append(LCons(x,Nil),@(bs)))
?Partition(xs,x)=ls,bs};
QuickSort={Nil:Nil};
Пример: быстрая сортировка

Слайд 6Композиции и свертки
Пример: определение натурального числа 3
Nat3= Null∙Succ∙Succ∙Succ
В форме графика:
В

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

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

Слайд 7Индексированные имена
Пример: множество натуральных чисел
[0]Nat= Null;
(∙ 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;
…

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

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

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

(‘Some text’).
Пример записи списка [A,B,C] в сетевой форме при помощи

Слайд 14Ввод выбором альтернатив
MODULE Common=
Дом
END
Определение:
Спец [СпИнд]ИдОтн[СпПар]=Рел
Конструктор:
Спец [СпИнд]ИдОтн
MODULE Common=

Спец [СпИнд]ИдОтн[СпПар]=Рел
END
Вызов отношения:
ИмяОтн
График:
{Терм:Терм?Формула}
MODULE Common=
Спец [СпИнд]ИдОтн[СпПар]={Терм:Терм?Формула}
END
Текст программы:
Выбор

Слайд 15Ввод идентификаторов
MODULE Common=
Спец [СпИнд]ИдОтн[СпПар]=Рел
END
Текст программы:
Раскрыть:
Текст
Действие:
Форма ввода:
MODULE Common=

Спец [СпИнд]Add[СпПар]=Рел
END

Слайд 16Ввод выражений: операции
∙
*
∇
→
#
∪
∩
~
MODULE Common=
(0:1)[1]Nat=Рел
END
Текст программы:
Операция:
MODULE Common=
(0:1)[1]Nat=Рел∙Рел
END
MODULE

Common=
(0:1)[1]Nat=Null∙Succ
END
…

Слайд 17Ввод выражений: IF, Свертка.
Условная конструкция IF
MODULE Common=
(0:1)R=Succ
END
Текст программы:
Действие:
MODULE

Common=
(0:1)R=IF Лог THEN Рел ELSE Succ
END
MODULE Common=