Full prolog and scheduling or-parallelism in muse Khayri A. M. AliRoland Karlsson OriginalPaper Pages: 445 - 475