Implementing persistent Prolog large, dynamic, shared procedures in Prolog - Colomb, Robert M. (Ellis Horwood, 1990)