M. Howard Williams P. A. Massey Jim A. Crammond Benchmarking Prolog for Database Applications. 161-187 1988 Prolog and Databases db/books/collections/gray88.html#WilliamsMC88