Kernel Parlog

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].