%========================================================



%     Name: Juan C Ibarra Cuza



%     Panther-ID: x x x - 4175 (last 4 digits)



%     Course: COP 4710



%     Assignment#: 1



%     Due: Tue, Sep 8, 2020



%     I hereby certify that this work is my own and none of

%     it is the work of any other person.



%                             Signature: Juan C Ibarra

%     =========================================================



result :=

    { B.title, PU.publisherName | book(B) and  publisher(PU) and PU.publisherCode=B.publisherCode and

	  not (exists P) (book(P) and P.price  >  B.price) };