Question

Given the Prolog facts in Example 28, what would Prolog

return given these queries?

a) ?instructor(chan,math273)

b) ?instructor(patel,cs301)

c) ?enrolled(X,cs301)

d) ?enrolled(kiko,Y)

e) ?teaches(grossman,Y)

Short answer

a) Yes

b) No

c) Juana and Kiko

d) math273 and cs301

e) Juana and Kiko

Step-by-step solution

Prolog return in ?instructor(chan,math273)

Instructor(chan,math273) is a fact given to prolog and Prolog then returns ?instructor(chan,math273) as yes.

Prolog return in ?instructor(patel,cs301)

Instructor(patel,cs301) is not a fact given to prolog and Prolog then returns ?Instructor(patel,cs301) as no.

Prolog return in ?enrolled(X,cs301)

Prolog will determine every student that is enrolled in cs301

Prolog return in ?enrolled(kiko,Y)

Prolog will determine every course that student kiko is enrolled in.

Prolog return in ?teaches(grossman,Y)

Prolog will determine the students that the teacher Grossman teaches.