prereqs(math141, []).
prereqs(math142, [math141]).
prereqs(csci141, []).
prereqs(csci142, [csci141]).
prereqs(csci201, [csci141]).
prereqs(csci211, [csci141, math141]).
prereqs(csci221, [csci142]).
prereqs(csci301, [csci221]).
prereqs(csci311, [csci211]).
prereqs(csci321, [csci221]).


courseOfferings(math141, [fall, spring]).
courseOfferings(math142, [fall, spring]).
courseOfferings(csci141, [fall, spring]).
courseOfferings(csci142, [fall, spring]).
courseOfferings(csci201, [fall]).
courseOfferings(csci211, [fall]).
courseOfferings(csci221, [fall, spring]).
courseOfferings(csci301, [spring]).
courseOfferings(csci311, [spring]).
courseOfferings(csci321, [fall]).

requiredCourses([csci141, csci142, csci201, csci211, csci221, csci301, csci311, csci321]).