Database applications using Prolog - Lucas, Robert (Ellis Horwood books in computing science. Series in computers and their applications, 1988)