Compiling Horn-Clause Rules in IBM's Business System 12 and Early Experiment in Declarativeness.

Ghica van Emde Boas-Lubsen, Peter van Emde Boas

Browse the full SOFSEM paper archive.