Разработка библиотеки примеров для поддержки изучения логического программирования от Prolog к ASP

Результат работы - изучение примеров логического программирования для дальнейшего изучения студентами. Сравнение двух подходов языков Prolog и ASP. В обзорной части нужно написать про парадигмы асп и пролога.

Прикрепил структуру работы от которой можно отклоняться в силу написания темы, но основные разделы должны присутствовать. Также прикрепил материалы, который можно использовать для теор.части