Commit 5a5f1041 authored by Arman Sobhi's avatar Arman Sobhi

Corrected SE rules

parent b837f91f
......@@ -14,21 +14,20 @@ _auditRequiredCourses(Student):-
_t(Student,cs2305),
_t(Student,cs2336),
_t(Student,math2418),
_t(Student,cs3162),
_t(Student,cs3305),
_t(Student,cs3340),
_t(Student,cs3341),
_t(Student,se3162),
_t(Student,se3306),
_t(Student,se3340),
_t(Student,se3341),
_t(Student,cs3345),
_t(Student,cs3354),
_t(Student,cs3376),
_t(Student,cs4141),
_t(Student,cs4337),
_t(Student,cs4341),
_t(Student,cs4347),
_t(Student,se3376),
_t(Student,se4347),
_t(Student,cs4348),
_t(Student,cs4349),
_t(Student,cs4384),
_t(Student,cs4485).
_t(Student,se4351),
_t(Student,se4352),
_t(Student,se4367),
_t(Student,se4381),
_t(Student,se4485).
%The two ways math credit can be obtained
......
......@@ -14,22 +14,20 @@ _metRequiredCourses(Student):-
_hasTaken(Student,cs2305),
_hasTaken(Student,cs2336),
_hasTaken(Student,math2418),
_hasTaken(Student,cs3162),
_hasTaken(Student,cs3305),
_hasTaken(Student,cs3340),
_hasTaken(Student,cs3341),
_hasTaken(Student,se3162),
_hasTaken(Student,se3306),
_hasTaken(Student,se3340),
_hasTaken(Student,se3341),
_hasTaken(Student,cs3345),
_hasTaken(Student,cs3354),
_hasTaken(Student,cs3376),
_hasTaken(Student,cs4141),
_hasTaken(Student,cs4337),
_hasTaken(Student,cs4341),
_hasTaken(Student,cs4347),
_hasTaken(Student,se3376),
_hasTaken(Student,se4347),
_hasTaken(Student,cs4348),
_hasTaken(Student,cs4349),
_hasTaken(Student,cs4349),
_hasTaken(Student,cs4384),
_hasTaken(Student,cs4485).
_hasTaken(Student,se4351),
_hasTaken(Student,se4352),
_hasTaken(Student,se4367),
_hasTaken(Student,se4381),
_hasTaken(Student,se4485).
_metMathCourses(Student):-
_hasTaken(Student,math2413),
......
......@@ -27,12 +27,12 @@ _audit(Student):-
_auditMathCourses(Student),
_specialization(Student,Spec),
specialization(Student, Spec),
_meetsHours(Student,lang,3),
_meetsHours(Student,art,3),
_meetsHours(Student,americanHist,6),
_meetsHours(Student,sci,3),
_meetsHours(Student,majorGuided,12),
_meetsElectiveHours(Student,8).
_auditHours(Student,lang,3),
_auditHours(Student,art,3),
_auditHours(Student,americanHist,6),
_auditHours(Student,sci,3),
_auditHours(Student,majorGuided,12),
_auditElectiveHours(Student,8).
_main(Student):-
ableToGraduate(Student).
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment