%A David Maier
%A David S. Warren
%T Computing with logic - logic programming with Prolog
%I Benjamin/Cummings Publishing Company
%C Menlo Park, California
%D 1988
%P 535
%K Datalog, deductive database, query language Pique, WAM, WPE