Kernel Parlog language A modeless intermediate language for Parlog compilation. ["Notes on the Implementation of Parlog", K.L. Clark et al, J Logic Prog 2(1):17-42 1985]. (1996-06-07)
