CT-1998-04: Ghica van Emde Boas-Lubsen, Peter van Emde Boas Compiling Horn-Clause Rules in IBM's Business System 12 - an Early Experiment in Declarativeness 1.Full Text, 2.Abstract. < Back