通用编程逻辑-数字规律推理