Освоение технологии разработки программ с рекурсивными правилами, предназначенными для обработки списков на языке Visual Prolog.
Планируемые результаты
При успешном освоении изложенного материала, ответах на контрольные вопросы, выполнении самостоятельных заданий и одного или нескольких индивидуальных заданий бакалавр получает навыки анализа, редактирования и разработки рекурсивных программ для обработки списков на языке Visual Prolog.
В том числе приобретаются навыки:
1. Разработки рекурсивного правила по его логической модели.
2. Передачи данных при рекурсии. Выявление необходимых и достаточных условий для этого.
3. Пошагового выполнения рекурсивного правила с рассмотрением сопоставления термов и состояния переменных.
4. Поэтапного выполнения разработки рекурсивных правил.