Логический синтаксис: основы и применение в программировании