["Notes on the Implementation of Parlog", K.L. Clark et al, J

Logic Prog 2(1):17-42 1985].