Defining Views
SeattleView(buyer,seller,product,store) :-
Person(buyer, “Seattle”, phone),
Purchase(buyer, seller, product, store)
not Purchase(buyer, seller, product, “The Bon”)
Q6(buyer) :- SeattleView(buyer, “Joe”, prod, store)
Q6(buyer) :- SeattleView(buyer, seller, store, prod),
Product(prod, price, cat, maker)
Company(maker, sp, country),