Основы и примеры логического языка