STANFORD UNIVERSITY
Computer Science Department
Program Sheet
CS 103
CS 161
CS 221
CS 254
CS 321
CS 109
CS 164
CS 223
CS 261
CS 329
CS 145
CS 172
CS 227
CS 264
CS 345
CS 154
CS 173
CS 228
CS 272
CS 361
CS 157
CS 188
CS 229
CS 273
CS 399
Requirements:
CS 103 required.
One theoretical course.
CS 109 or CS157.
Prerequisites satisfied.
At least five courses.
Theory Courses:
CS 154
CS 157
CS 161
CS 254
Prerequisites:
CS 109 is a prerequisite for CS 229
CS 145 is a prerequisite for CS 345
CS 154 is a prerequisite for CS 254
CS 157 is a prerequisite for CS 227
CS 157 is a prerequisite for CS 345
Lambda
Library
satisfied(discretemath) :- xxx_CHANGE_THIS_RULE_xxx satisfied(theory) :- xxx_CHANGE_THIS_RULE_xxx satisfied(problogic) :- xxx_CHANGE_THIS_RULE_xxx satisfied(prerequisites) :- xxx_CHANGE_THIS_RULE_xxx satisfied(fivecourses) :- xxx_CHANGE_THIS_RULE_xxx xxx_ADD_OTHER_RULES_AS_NECESSARY_xxx xxx_DO_NOT_CHANGE_FOLLOWING_xxx theoretical(cs154) theoretical(cs157) theoretical(cs161) theoretical(cs254) prerequisite(cs109,cs229) prerequisite(cs145,cs345) prerequisite(cs154,cs254) prerequisite(cs157,cs227) prerequisite(cs157,cs345) requirement(discretemath) requirement(theory) requirement(problogic) requirement(prerequisites) requirement(fivecourses)
style(R,color,black) :- satisfied(R) style(R,color,red) :- requirement(R) & ~satisfied(R) select(C,V) :: holds(C,V) deselect(C,V) :: ~holds(C,V)
holds(course,cs103) holds(course,cs154) holds(course,cs157) holds(course,cs161) holds(course,cs227)
theoretical(cs154) theoretical(cs157) theoretical(cs161) theoretical(cs254) prerequisite(cs109,cs229) prerequisite(cs145,cs345) prerequisite(cs154,cs254) prerequisite(cs157,cs227) prerequisite(cs157,cs345) requirement(discretemath) requirement(theory) requirement(problogic) requirement(prerequisites) requirement(fivecourses) style(R,color,black) :- satisfied(R) style(R,color,red) :- requirement(R) & ~satisfied(R) select(C,V) :: holds(C,V) deselect(C,V) :: ~holds(C,V)