«Поиск с возвратом и предикат not». Содержит кратко теорию выполненую лабораторную работу.