Commit b837f91f authored by Arman Sobhi's avatar Arman Sobhi

Removed accidental se2015audit.lp

parent e9642db6
_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,cs3162),
_t(Student,cs3305),
_t(Student,cs3340),
_t(Student,cs3341),
_t(Student,cs3345),
_t(Student,cs3354),
_t(Student,cs3376),
_t(Student,cs4141),
_t(Student,cs4337),
_t(Student,cs4341),
_t(Student,cs4347),
_t(Student,cs4348),
_t(Student,cs4349),
_t(Student,cs4384),
_t(Student,cs4485).
%The two ways math credit can be obtained
_auditMathCourses(Student):-
_hasTaken(Student,math2413),
_t(Student,math2414),
_takenFor(Student,math2413,math),
_takenFor(Student,math2414,math).
_auditMathCourses(Student):-
_hasTaken(Student,math2417),
_t(Student,math2419),
_takenFor(Student,math2417,math),
_takenFor(Student,math2419,math).
_auditMathCourses(Student):-
_t(Student,math2413),
_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).
specialization(Student,compImaging):-
_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).
specialization(Student,HumanCompInteraction):-
_t(Student,cs4352),
_t(Student,cs4353),
_t(Student,cs4361).
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