Знакомство со средой Турбо-Пролог. Трассировка программы. Основы программирования на Турбо-Прологе. Стандартные типы доменов. Структура программ. Арифметические операторы. Описание задач с многовариантными решениями. Представление и обработка списков. Использование структур. Организация многооконных меню и работа с файлами. Работа с динамическими базами данных.
УЦ "Интеграция", Серпухов, Рязанов А.М., 6 семестр, 2010.
Введение в дисциплину.
Теоретические основы языка Пролог.
Базовые понятия языка Пролог.
Рекурси.
Основы Турбо Пролога. Структура программы на Турбо Прологе. Директивы компилятора.
Управление выполнением программы на Прологе.
Списки.
Сортировка списков.
Множества.
Деревья.
Строки.
Файлы.
Внутренние...
Особенности языка Пролог.
Правила сопоставления термов в системе Пролог.
Общие принципы поиска ответов на вопросы системой Пролог.
Объекты данных.
Структурированные объекты.
Структура программы.
Арифметические выражения.
Сравнение результатов арифметических выражений.
Работа с файлами.
Списки.
Рекурсивное определение списка.
Работа со списками.
Проверка типов термов....
Введение в дисциплину.
Синтаксис.
Базовые функции.
Базовые предикаты.
Машинное представление и оценивание выражений.
Имя и значение символа.
Определение функций.
ВМиК МГУ, Москва, лектор - Захаров В.А., 100 стр.
(Год выпуска не указан).
Конспект лекций (восстановлен из текстового файла).
Презентации к курсу лекций (1400 слайдов).
Натуральный вывод (сводный файл).
Секвенциальное исчисление (сводный файл).
Материалы к экзамену.
Программные материалы к курсу лекций.
Введение.
Понятие о БЗ.
Средства описания БЗ.
Формы представления знаний.
Исчисление высказываний.
Логика предикатов.
Семантические сети.
Фреймы.
Система продукции.
Понятие вывода. Метод резолюций.
Ввод- вывод в Турбо Прологе.
Технические приложения Пролога. и другие темы.
13 страниц
Подготовка к экзамену. Понятие об искусственном интеллекте и экспертных системах. Понятие о базах знаний. Средства описания и представления знаний. Формы представления знаний. Логические модели. Семантические сети. Пример применения семантических сетей для решения логических задач. Фреймы. Пример описания задач с помощью фреймов. Системы продукций. Прямые и обратные системы...
МАИ. Факультет прикладной математики. Кафедра вычислительной математики и программирования. Подготовка к экзамену по курсу Логическое программирование Преподаватель: Сошников Д. В. 123 стр. Основы Парадигмы Логика предикатов 1-го порядка Семантика логики предикатов Исчисление предикатов 1-го порядка Понятие о полноте неразрешимость исчисления Нормальные формы Унификация Правила...
МАИ. Факультет прикладной математики. Кафедра вычислительной математики и программирования. Подготовка к экзамену по курсу Логическое программирование Преподаватель: Сошников Д. В. ~500 стр. Что такое логическое программирование Введение в логическое программирование Логика Резолюции Пролог и Меркурия Рекурсивные Структуры данных Отрицание как Failure Логических задач...
Комментарии