В теоретической части нужно написать несколько слов про логическое и функциональное программирование, описать программу Prolog, как она применяется и какие задачи можно выполнить. Для практической части нужно определить предметную область. А именно: нужно определить отношения объектов.
Предметная область выбирается самостоятельно из любых источников. Главное-показать правильность заданных условий/