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