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)