implemented biology ba degree plan

parent 0aae24a3
_auditRequiredCourses(Student):-
_t(Student,comm1311),
_t(Student,rhet1302),
_t(Student,chem1311),
_t(Student,chem1312),
_t(Student,govt2305),
_t(Student,govt2306),
_t(Student,biol2311),
_t(Student,chem1111),
_t(Student,chem1112),
_t(Student,chem2323),
_t(Student,chem2123),
_t(Student,chem2325),
_t(Student,chem2125),
_t(Student,nats1101),
_t(Student,univ1010),
_t(Student,biol2281),
_t(Student,biol2111),
_t(Student,biol2112),
_t(Student,biol2311),
_t(Student,biol2312),
_t(Student,biol3101),
_t(Student,biol3102),
_t(Student,biol3161),
_t(Student,biol3162),
_t(Student,biol3301),
_t(Student,biol3302),
_t(Student,biol3361),
_t(Student,biol3380).
_auditBiologyRequirement(Student):-
_hasTaken(Student,biol3355).
_auditBiologyRequirement(Student):-
_t(Student,biol3362).
_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):-
_hasTaken(Student,math1325),
_t(Student,math2332),
_takenFor(Student,math1325,math),
_takenFor(Student,math2325,math).
_auditMathCourses(Student):-
_t(Student,math2413),
_t(Student,math2414),
_takenFor(Student,math2413,math),
_takenFor(Student,math2414,math).
_auditPhysicsCourses(Student):-
_hasTaken(Student,phys2325),
_t(Student,phys2326),
_takenFor(Student,phys2325,physics),
_takenFor(Student,phys2326,physics).
_auditPhysicsCourses(Student):-
_hasTaken(Student,phys1301),
_t(Student,phys1302),
_takenFor(Student,phys1301,physics),
_takenFor(Student,phys1302,physics).
_auditPhysicsCourses(Student):-
_t(Student,phys2325),
_t(Student,phys2326),
_takenFor(Student,phys2325,physics),
_takenFor(Student,phys2326,physics).
metRequiredCourses(Student):-
_hasTaken(Student,comm1311),
_hasTaken(Student,rhet1302),
_hasTaken(Student,chem1311),
_hasTaken(Student,chem1312),
_hasTaken(Student,govt2305),
_hasTaken(Student,govt2306),
_hasTaken(Student,biol2311),
_hasTaken(Student,chem1111),
_hasTaken(Student,chem1112),
_hasTaken(Student,chem2323),
_hasTaken(Student,chem2123),
_hasTaken(Student,chem2325),
_hasTaken(Student,chem2125),
_hasTaken(Student,nats1101),
_hasTaken(Student,univ1010),
_hasTaken(Student,biol2281),
_hasTaken(Student,biol2111),
_hasTaken(Student,biol2112),
_hasTaken(Student,biol2311),
_hasTaken(Student,biol2312),
_hasTaken(Student,biol3101),
_hasTaken(Student,biol3102),
_hasTaken(Student,biol3161),
_hasTaken(Student,biol3162),
_hasTaken(Student,biol3301),
_hasTaken(Student,biol3302),
_hasTaken(Student,biol3361),
_hasTaken(Student,biol3380).
metBiologyRequirement(Student):-
_hasTaken(Student,biol3355).
metBiologyRequirement(Student):-
_hasTaken(Student,biol3362).
metMathCourses(Student):-
_hasTaken(Student,math2413),
_hasTaken(Student,math2414),
_takenFor(Student,math2413,math),
_takenFor(Student,math2414,math).
metMathCourses(Student):-
_hasTaken(Student,math2417),
_hasTaken(Student,math2419),
_takenFor(Student,math2417,math),
_takenFor(Student,math2419,math).
metMathCourses(Student):-
_hasTaken(Student,math1325),
_hasTaken(Student,math2332),
_takenFor(Student,math1325,math),
_takenFor(Student,math2325,math).
metPhysicsCourses(Student):-
_hasTaken(Student,phys2325),
_hasTaken(Student,phys2326),
_takenFor(Student,phys2325,physics),
_takenFor(Student,phys2326,physics).
metPhysicsCourses(Student):-
_hasTaken(Student,phys1301),
_hasTaken(Student,phys1302),
_takenFor(Student,phys1301,physics),
_takenFor(Student,phys1302,physics).
_req(comm1311,required).
_req(rhet1302,required).
_req(chem1311,required).
_req(chem1312,required).
_req(govt2305,required).
_req(govt2306,required).
_req(biol2311,required).
_req(chem1111,required).
_req(chem1112,required).
_req(chem2323,required).
_req(chem2123,required).
_req(chem2325,required).
_req(chem2125,required).
_req(nats1101,required).
_req(univ1010,required).
_req(biol2281,required).
_req(biol2111,required).
_req(biol2112,required).
_req(biol2311,required).
_req(biol2312,required).
_req(biol3101,required).
_req(biol3102,required).
_req(biol3161,required).
_req(biol3162,required).
_req(biol3301,required).
_req(biol3302,required).
_req(biol3361,required).
_req(biol3380,required).
_req(phys2125,required).
_req(phys2126,required).
_req(biol3455,mRelated).
_req(biol3456,mRelated).
_req(biol3V96,mRelated).
_req(biol3V91,mRelated).
_req(biol3V20,mRelated).
_req(biol3381,mRelated).
_req(biol3351,mRelated).
_req(biol3370,mRelated).
_req(biol3455,mRelated).
_req(biol3456,mRelated).
_req(biol4V95,mRelated).
_req(biol4V40,mRelated).
_req(biol4V01,mRelated).
_req(biol4V00,mRelated).
_req(biol4461,mRelated).
_req(biol4360,mRelated).
_req(biol4350,mRelated).
_req(biol4345,mRelated).
_req(biol4341,mRelated).
_req(biol4337,mRelated).
_req(biol4320,mRelated).
_req(biol4310,mRelated).
_req(biol3110,mRelated).
_req(biol3305,mRelated).
_req(biol3310,mRelated).
_req(biol3318,mRelated).
_req(biol3321,mRelated).
_req(biol3335,mRelated).
_req(biol3336,mRelated).
_req(biol3350,mRelated).
_req(biol3355,mRelated).
_req(biol3362,mRelated).
_req(biol3371,mRelated).
_req(biol3388,mRelated).
_req(biol3V00,mRelated).
_req(biol3V01,mRelated).
_req(biol3V40,mRelated).
_req(biol3V81,mRelated).
_req(biol3V82,mRelated).
_req(biol3V83,mRelated).
_req(biol3V84,mRelated).
_req(biol3V90,mRelated).
_req(biol3V92,mRelated).
_req(biol3V93,mRelated).
_req(biol3V94,mRelated).
_req(biol3V95,mRelated).
_req(biol4261,mRelated).
_req(biol4302,mRelated).
_req(biol4308,mRelated).
_req(biol4315,mRelated).
_req(biol4316,mRelated).
_req(biol4324,mRelated).
_req(biol4332,mRelated).
_req(biol4333,mRelated).
_req(biol4336,mRelated).
_req(biol4338,mRelated).
_req(biol4340,mRelated).
_req(biol4342,mRelated).
_req(biol4352,mRelated).
_req(biol4353,mRelated).
_req(biol4355,mRelated).
_req(biol4365,mRelated).
_req(biol4366,mRelated).
_req(biol4370,mRelated).
_req(biol4375,mRelated).
_req(biol4382,mRelated).
_req(biol4385,mRelated).
_req(biol4390,mRelated).
_req(biol4391,mRelated).
_req(biol4398,mRelated).
_req(biol4399,mRelated).
_req(biol4V04,mRelated).
_req(biol4V51,mRelated).
_req(biol4V98,mRelated).
_req(biol4V99,mRelated).
_req(biol4380,mRelated).
_req(hist1301,americanHist).
_req(hist1302,americanHist).
_req(hist2301,americanHist).
_req(hist2331,americanHist).
_req(phys1301,physics).
_req(phys1302,physics).
_req(phys2325,physics).
_req(phys2326,physics).
_req(math2413,math).
_req(math2414,math).
_req(math2417,math).
_req(math2419,math).
_req(phil1301,lang).
_req(phil2316,lang).
_req(huma1301,lang).
_req(arab2312,lang).
_req(chin2312,lang).
_req(fren2312,lang).
_req(germ2312,lang).
_req(japn2312,lang).
_req(lit2331,lang).
_req(span2312,lang).
_req(ams2300,lang).
_req(ams2341,lang).
_req(ams3300,lang).
_req(ahst1303,art).
_req(ahst1304,art).
_req(ahst2331,art).
_req(arts1301,art).
_req(danc1310,art).
_req(dram1310,art).
_req(film2332,art).
_req(musi1306,art).
This diff is collapsed.
#include 'bio2015req.lp'.
#include 'bio2015req2.lp'.
#include 'bio2015grad.lp'.
#include 'bio2015audit.lp'.
ableToGraduate(Student):-
_metRequiredCourses(Student),
_metMathRequirement(Student),
_metBiologyRequirement(Student),
_meetsHours(Student,lang,3),
_meetsHours(Student,art,3),
_meetsHours(Student,americanHist,6),
_meetsHours(Student,mePrescribed,9),
_meetsElectiveHours(Student,24).
_audit(Student):-
_auditRequiredCourses(Student),
_auditMathCourses(Student),
_auditPhysicsCourses(Student),
_auditBiologyRequirement(Student),
_auditHours(Student,lang,3),
_auditHours(Student,art,3),
_auditHours(Student,americanHist,6),
_auditHours(Student,mRelated,9),
_auditElectiveHours(Student,24).
_main(Student):-
ableToGraduate(Student).
_main(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