AND-OR-queueing in extended concurrent Prolog - Yokomori, Takashi; Kishishita, Makoto; Tanaka, Jiro (Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical memorandum, 1985)