part3-1.pl

course(
	cse340,
	day(tues, thurs),
	time(1200, 1300),
	instructor(bryce, holton),
	coor300
).

course(
	cse340,
	day(tues, thurs),
	time(1200, 1300),
	instructor(ivan, andersen),
	coor500
).

instructor(Instructor, Class) :-
	course(Class,
			   _,
			   _,
			   Instructor,
			   _
	).