Учащихся
Тема «Введение в Пролог»
Учащиеся должны знать:
• в чем состоит принципиальное отличие операторного языка от логического.
Тема «Факты. Предикатная форма представления фактов.
Базы данных Пролога. Простые запросы».
Учащиеся должны знать:
• что такое высказывание;
• что такое утверждение;
• что такое факт;
• что такое база данных Пролога;
• что такое запрос (вопрос).
Учащиеся должны уметь:
• записывать факты в предикатной форме;
• составлять и записывать простейшие базы данных на Прологе;
• работать с системой программирования (вводить и редактировать тексты программ, считывать и записывать их в файл);
• организовать простой запрос без использования и с использованием переменной.
Тема «Составные запросы. Правила. Базы знаний Пролога»
Учащиеся должны знать:
• что такое составной запрос;
• что такое правило;
• какова структура правила;
• что такое база знаний.
Учащиеся должны уметь:
• задать составной запрос к базе данных;
• переводить правило, записанное на Прологе, на естественный язык;
• записать правило на Прологе;
• составлять простейшие базы знаний по формулировкам задач;
• решать задачи с использованием баз знаний.
Тема «Термы Пролога (данные): константы, переменные, составные термы (структуры). Работа Пролога: сопоставление, поиск
