Concurrent Execution of Prolog Transaction. - Makoto Takizawa 001; Katsumi Miyajima (LP, 1987)