Нажмите на ссылку 05_logical_programming.pdf, чтобы просмотреть файл.