编程基础-约束场景逻辑推演