%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