Булевы выражения: основа логического программирования