Answer
a) No
b) Yes
c) cd301
d) Grossman
e) Chan
Work Step by Step
a) No
enrolled(kevin,ee222) is not a fact given to Prolog and Prolog then returns ?enrolled(kevin,ee222) as no.
b) Yes
enrolled(kiko,math273) is a fact given to Prolog and Prolog then returns ?enrolled(kiko,math273) as yes.
c) cd301
Prolog will determine every class that Grossman teaches
d) Grossman
Prolog will determine every teacher of class cs301.
e) Chan
Prolog will determine the teachers of Kevin.
