Fixed spacing

parent 74dd0a39
_auditRequiredCourses(Student):-
_t(Student,rhet1302),
_t(Student,ecs3390),
_t(Student,phys2325),
_t(Student,phys2326),
_t(Student,phys2125),
_t(Student,phys2126),
_t(Student,govt2305),
_t(Student,govt2306),
_t(Student,ecs3361),
_t(Student,ecs1100),
_t(Student,cs1200),
_t(Student,cs1337),
_t(Student,cs2305),
_t(Student,cs2336),
_t(Student,math2418),
_t(Student,se3162),
_t(Student,se3306),
_t(Student,se3340),
_t(Student,se3341),
_t(Student,cs3345),
_t(Student,cs3354),
_t(Student,se3376),
_t(Student,se4347),
_t(Student,cs4348),
_t(Student,se4351),
_t(Student,se4352),
_t(Student,se4367),
_t(Student,se4381),
_t(Student,se4485).
_t(Student,rhet1302),
_t(Student,ecs3390),
_t(Student,phys2325),
_t(Student,phys2326),
_t(Student,phys2125),
_t(Student,phys2126),
_t(Student,govt2305),
_t(Student,govt2306),
_t(Student,ecs3361),
_t(Student,ecs1100),
_t(Student,cs1200),
_t(Student,cs1337),
_t(Student,cs2305),
_t(Student,cs2336),
_t(Student,math2418),
_t(Student,se3162),
_t(Student,se3306),
_t(Student,se3340),
_t(Student,se3341),
_t(Student,cs3345),
_t(Student,cs3354),
_t(Student,se3376),
_t(Student,se4347),
_t(Student,cs4348),
_t(Student,se4351),
_t(Student,se4352),
_t(Student,se4367),
_t(Student,se4381),
_t(Student,se4485).
%The two ways math credit can be obtained
......@@ -48,40 +48,40 @@ _auditMathCourses(Student):-
_t(Student,math2414),
_takenFor(Student,math2413,math),
_takenFor(Student,math2414,math).
specialization(Student,networks):-
_t(Student,cs4390),
_t(Student,cs4393),
_t(Student,cs4396).
specialization(Student, infoAssurance):-
_t(Student,cs4389),
_t(Student,cs4393),
_t(Student,cs4398).
specialization(Student, embedded):-
_t(Student,cs4141),
_t(Student,cs4341),
_t(Student,cs4397),
_t(Student,cs4348).
_t(Student,cs4348).
specialization(Student,compImaging):-
_t(Student,cs4361),
_t(Student,cs4391),
_t(Student,cs4392).
_t(Student,cs4361),
_t(Student,cs4391),
_t(Student,cs4392).
specialization(Student,AICog):-
_t(Student,cs4314),
_t(Student,cs4315),
_t(Student,cs4365),
_t(Student,cs4375),
_t(Student,cs4395).
_t(Student,cs4314),
_t(Student,cs4315),
_t(Student,cs4365),
_t(Student,cs4375),
_t(Student,cs4395).
specialization(Student,HumanCompInteraction):-
_t(Student,cs4352),
_t(Student,cs4353),
_t(Student,cs4361).
_t(Student,cs4352),
_t(Student,cs4353),
_t(Student,cs4361).
_metRequiredCourses(Student):-
_hasTaken(Student,rhet1302),
_hasTaken(Student,ecs3390),
_hasTaken(Student,phys2325),
_hasTaken(Student,phys2326),
_hasTaken(Student,phys2125),
_hasTaken(Student,phys2126),
_hasTaken(Student,govt2305),
_hasTaken(Student,govt2306),
_hasTaken(Student,ecs3361),
_hasTaken(Student,ecs1100),
_hasTaken(Student,cs1200),
_hasTaken(Student,cs1337),
_hasTaken(Student,cs2305),
_hasTaken(Student,cs2336),
_hasTaken(Student,math2418),
_hasTaken(Student,se3162),
_hasTaken(Student,se3306),
_hasTaken(Student,se3340),
_hasTaken(Student,se3341),
_hasTaken(Student,cs3345),
_hasTaken(Student,cs3354),
_hasTaken(Student,se3376),
_hasTaken(Student,se4347),
_hasTaken(Student,cs4348),
_hasTaken(Student,se4351),
_hasTaken(Student,se4352),
_hasTaken(Student,se4367),
_hasTaken(Student,se4381),
_hasTaken(Student,se4485).
_hasTaken(Student,rhet1302),
_hasTaken(Student,ecs3390),
_hasTaken(Student,phys2325),
_hasTaken(Student,phys2326),
_hasTaken(Student,phys2125),
_hasTaken(Student,phys2126),
_hasTaken(Student,govt2305),
_hasTaken(Student,govt2306),
_hasTaken(Student,ecs3361),
_hasTaken(Student,ecs1100),
_hasTaken(Student,cs1200),
_hasTaken(Student,cs1337),
_hasTaken(Student,cs2305),
_hasTaken(Student,cs2336),
_hasTaken(Student,math2418),
_hasTaken(Student,se3162),
_hasTaken(Student,se3306),
_hasTaken(Student,se3340),
_hasTaken(Student,se3341),
_hasTaken(Student,cs3345),
_hasTaken(Student,cs3354),
_hasTaken(Student,se3376),
_hasTaken(Student,se4347),
_hasTaken(Student,cs4348),
_hasTaken(Student,se4351),
_hasTaken(Student,se4352),
_hasTaken(Student,se4367),
_hasTaken(Student,se4381),
_hasTaken(Student,se4485).
_metMathCourses(Student):-
_hasTaken(Student,math2413),
......@@ -40,32 +40,32 @@ _metMathCourses(Student):-
_hasTaken(Student,math2419),
_takenFor(Student,math2417,math),
_takenFor(Student,math2419,math).
satisfiesSpecilization(Student,networks):-
_hasTaken(Student,cs4390),
_hasTaken(Student,cs4393),
_hasTaken(Student,cs4396).
satisfiesSpecilization(Student, infoAssurance):-
_hasTaken(Student,cs4389),
_hasTaken(Student,cs4393),
_hasTaken(Student,cs4398).
satisfiesSpecilization(Student, embedded):-
_hasTaken(Student,cs4141),
_hasTaken(Student,cs4341),
_hasTaken(Student,cs4397),
_hasTaken(Student,cs4348).
_hasTaken(Student,cs4348).
satisfiesSpecilization(Student,compImaging):-
_hasTaken(Student,cs4361),
_hasTaken(Student,cs4391),
_hasTaken(Student,cs4392).
_hasTaken(Student,cs4361),
_hasTaken(Student,cs4391),
_hasTaken(Student,cs4392).
satisfiesSpecilization(Student,AICog):-
_meetsHours(Student,AICog,9).
_meetsHours(Student,AICog,9).
satisfiesSpecilization(Student,HumanCompInteraction):-
_hasTaken(Student,cs4352),
_hasTaken(Student,cs4353),
_hasTaken(Student,cs4361).
_hasTaken(Student,cs4352),
_hasTaken(Student,cs4353),
_hasTaken(Student,cs4361).
......@@ -13,19 +13,19 @@ _specialization(Student,HumanCompInteraction).
ableToGraduate(Student):-
_metRequiredCourses(Student),
_metMathCourses(Student),
_specialization(Student,Spec),
satisfiesSpecialization(Student,Spec),
_specialization(Student,Spec),
satisfiesSpecialization(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).
_audit(Student):-
_auditRequiredCourses(Student),
_auditMathCourses(Student),
_specialization(Student,Spec),
_specialization(Student,Spec),
specialization(Student, Spec),
_auditHours(Student,lang,3),
_auditHours(Student,art,3),
......@@ -33,10 +33,10 @@ _audit(Student):-
_auditHours(Student,sci,3),
_auditHours(Student,majorGuided,12),
_auditElectiveHours(Student,8).
_main(Student):-
ableToGraduate(Student).
ableToGraduate(Student).
_main(Student):-
_audit(Student).
_audit(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