一种并行Prolog通信模式
盛苏华
. 1994, (1): 69 -74 .