4.4 逻辑程序设计 ===================