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

Нажмите для полного просмотра!

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Содержание ▲

Вы можете ознакомиться и скачать презентацию на тему FLIDE Система функционально-логического программирования на языке S-FLOGOL. Доклад-сообщение содержит 24 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

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

Слайд 1

Описание слайда:

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

Слайд 2

Описание слайда:

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

Слайд 3

Описание слайда:

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

Слайд 4

Описание слайда:

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

Слайд 5

Описание слайда:

Варианты определения НО Пример: определение натурального числа 3

Слайд 6

Описание слайда:

Определение НО в виде графика В форме графика НО задается в виде R = { Терм1 : Терм2 ? Формула } , где Терм1 – входной терм (образец аргументов вызова), Терм2 – выходной терм (результат вызова), Формула – набор ограничений вида Терм = Терм, Терм Терм.

Слайд 7

Описание слайда:

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

Слайд 8

Описание слайда:

Представление натуральных чисел Число 2 (сеть):

Слайд 9

Описание слайда:

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

Слайд 10

Описание слайда:

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

Слайд 11

Описание слайда:

Списки

Слайд 12

Описание слайда:

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

Слайд 13

Описание слайда:

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

Слайд 14

Описание слайда:

Индексированные имена НО Пример: множество натуральных чисел

Слайд 15

Описание слайда:

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

Слайд 16

Описание слайда:

Типовые НО Типовое отношение для типа

Слайд 17

Описание слайда:

Типизация НО

Слайд 18

Описание слайда:

Типизация НО

Слайд 19

Описание слайда:

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

Слайд 20

Описание слайда:

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