% 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 a8/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 somebody likes that aren't a food?
q12(NotFood) :- true.

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

% What are pairs of things that together cost less than an orange and are liked by the same person?
%
% Note: use compare/3 to put the two things in alphabetical order, like cheap(joe, lettuce, tomato).
%
q14(cheap(P,T1,T2)) :- true.

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

