Compiling logic programs to C using GNU C as a portable assembler (1995)

by Fergus Henderson, Thomas Conway, Zoltan Somogyi