Kernel Parlog

A modeless intermediate language for Parlog compilation.

"Notes on the Implementation of Parlog", K. L. Clark et al, Journal of Logic Programming 2(1):17-42 (1985).