书目详细信息 : EXECUTION MODELS OF PROLOG FOR PARALLEL COMPUTERS