%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% NOTE: The following queries should use only the facts in a5/things.pl
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% What foods are green?
q0(Food) :- thing(Food,green,yes).

% What are all the things?
q1(Thing) :- true.

% What are the colors of non-foods?
q2(Color) :- true.

% What are colors that are a color of both a food and a non-food?
q3(Color) :- true.

% What foods are not the same color as broccoli?
q4(Food) :- true.

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% NOTE: The following queries should use only the facts in a5/fcl.pl
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% Who likes carrots?
q5(Who) :- true.

% Who likes baseball and a food?
q6(Who) :- true.

% Who likes baseball and a red food?
q7(Who) :- true.

% Who likes somebody who likes baseball?
q8(Who) :- true.

% What foods cost more than a Big Mac?
q9(Food) :- true.

% What are things that somebody likes and that cost more than an apple?
q10(What) :- true.

% What foods have a name that is the same length as their color?
q11(Food) :- true.

% What are things that are liked by more than one person?
q12(Thing) :- true.

% What are pairs of things that together cost less than an orange and are liked by the same person?
%
% Note: Put the two things in alphabetical order, like cheap(joe, lettuce, tomato).  The operator '@<'
% can be used to compare atoms, like ?- a @< b, write(ok).
%
q13(cheap(P,T1,T2)) :- true.

% What are foods whose cost is the same?  Put the two foods in alphabetical order, as you did with things in q13.
%
q14(F1==F2:Cost) :- true.

:-[a5/fcl]. % consults a5/fcl.pl. (The .pl is assumed in this case.)
:-[a5/things].

