Kotagiri Ramamohanarao John Shepherd Isaac Balbin Graeme S. Port Lee Naish James A. Thom Justin Zobel Philip W. Dart The NU-Prolog Deductive Database System. 212-250 1988 Prolog and Databases db/books/collections/gray88.html#RamamohanaraoSBPNTZD88