书目详细信息 : STRUCTURED SYSTEMS ANALYSIS THROUGH PROLOG