The Meaning of Datalog Rules
ExpensiveProduct(X) :- Product(X,Y,P) & P > $100
Consider every assignment from the variables in the body
to the constants in the database.
If each of the atoms in the body is made true by the
add the tuple for the head into the relation of the head.