Я вернулся :-) Резольвента для школьников и студентов

Продолжаю писать краткое учебное пособие для тех, кто хочет понять теоретические основы Пролога. Сверяю таблицы истинности и переписываю примеры на базе школьных условных обозначений.