Тема учебного занятия

Кол-во часов

1. Введение

1

2.Факты. Предикатная форма представления фактов. Базы данных Пролога. Простые запросы

4

3. Составные запросы. Правила. Базы знаний Пролога

5

4. Термы Пролога (данные): константы, переменные, составные термы (структуры). Работа Пролога: сопоставление, поиск в базе знаний, механизм возврата. Управление работой Пролога. Встроенные предикаты

6

5. Решение логических задач на Прологе

5

6. Операторы сравнения. Арифметические операторы. Предикаты ввода-вывода. Организация диалоговых программ. Решение задач на поиск в базах знаний с использованием операторов сравнения и арифметических операторов

5

7. Рекурсия на Прологе (нисходящая стратегия). Ручная трассировка рекурсивных программ. Решение задач на символьную арифметику. Рекурсия: восходящая стратегия

18