Commit 20db05d5 authored by Saikiran Srirangapalli's avatar Saikiran Srirangapalli

Merge branch 'master' of gitlab.com:saikiran1096/gradaudit into planprobe

parents c718befc 45a41849
_auditRequiredCourses(Student):-
_t(Student,cs3162),
_t(Student,cs3305),
_t(Student,cs3340),
_t(Student,cs3341),
_t(Student,cs3345),
_t(Student,cs3354),
_t(Student,cs3376),
_t(Student,ecs3361),
_t(Student,ecs3390),
_t(Student,cs4141),
_t(Student,cs4337),
_t(Student,cs4341),
_t(Student,cs4347),
_t(Student,cs4348),
_t(Student,cs4349),
_t(Student,cs4384),
_t(Student,cs4485),
_t(Student,ecs1100),
_t(Student,cs1200),
_t(Student,cs1337),
_t(Student,cs2305),
_t(Student,cs2336),
_t(Student,math2418),
_t(Student,phys2125),
_t(Student,phys2126),
_t(Student,phys2326),
_t(Student,phys2325),
_t(Student,rhet1302),
_t(Student,govt2305),
_t(Student,govt2306).
%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).
_metRequiredCourses(Student):-
_hasTaken(Student,cs3162),
_hasTaken(Student,cs3305),
_hasTaken(Student,cs3340),
_hasTaken(Student,cs3341),
_hasTaken(Student,cs3345),
_hasTaken(Student,cs3354),
_hasTaken(Student,cs3376),
_hasTaken(Student,ecs3361),
_hasTaken(Student,ecs3390),
_hasTaken(Student,cs4141),
_hasTaken(Student,cs4337),
_hasTaken(Student,cs4341),
_hasTaken(Student,cs4347),
_hasTaken(Student,cs4348),
_hasTaken(Student,cs4349),
_hasTaken(Student,cs4384),
_hasTaken(Student,cs4485),
_hasTaken(Student,ecs1100),
_hasTaken(Student,cs1200),
_hasTaken(Student,cs1337),
_hasTaken(Student,cs2305),
_hasTaken(Student,cs2336),
_hasTaken(Student,math2418),
_hasTaken(Student,phys2125),
_hasTaken(Student,phys2126),
_hasTaken(Student,phys2326),
_hasTaken(Student,phys2325),
_hasTaken(Student,rhet1302),
_hasTaken(Student,govt2305),
_hasTaken(Student,govt2306).
%The two ways math credit can be obtained
_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).
%course for communication (6 hours)
_req(rhet1302,required).
%couses for government (6 hours)
_req(govt2305,required).
_req(govt2306,required).
%courses for csPrep (20 total but no room for choice)
_req(phys2125,required).
_req(phys2126,required).
_req(phys2325,required).
_req(phys2326,required).
_req(ecs1100,required).
_req(cs1200,required).
_req(cs1337,required).
_req(cs2305,required).
_req(cs2336,required).
_req(math2418,required).
%courses for cs core (42 hours)
_req(cs3162,required).
_req(cs3305,required).
_req(cs3340,required).
_req(cs3341,required).
_req(cs3345,required).
_req(cs3354,required).
_req(cs3376,required).
_req(ecs3361,required).
_req(ecs3390,required).
_req(cs4141,required).
_req(cs4337,required).
_req(cs4341,required).
_req(cs4347,required).
_req(cs4348,required).
_req(cs4349,required).
_req(cs4384,required).
_req(cs4485,required).
%courses for math credit (8 hours)
_req(math2413,math).
_req(math2414,math).
_req(math2417,math).
_req(math2419,math).
%courses for creative arts credit
_req(ahst1303,'Creative Arts').
_req(ahst1304,'Creative Arts').
_req(ahst2331,'Creative Arts').
_req(ahst3320,'Creative Arts').
_req(arts1301,'Creative Arts').
_req(danc1310,'Creative Arts').
_req(dram1310,'Creative Arts').
_req(film2332,'Creative Arts').
_req(musi1306,'Creative Arts').
%these classes are the 'CS Guided Elective' electives (9 credit hours)
_req(cs4314,'CS Guided Elective').
_req(cs4315,'CS Guided Elective').
_req(cs4334,'CS Guided Elective').
_req(cs4336,'CS Guided Elective').
_req(cs4352,'CS Guided Elective').
_req(cs4353,'CS Guided Elective').
_req(cs4361,'CS Guided Elective').
_req(cs4365,'CS Guided Elective').
_req(cs4375,'CS Guided Elective').
_req(cs4376,'CS Guided Elective').
_req(cs4386,'CS Guided Elective').
_req(cs4389,'CS Guided Elective').
_req(cs4390,'CS Guided Elective').
_req(cs4391,'CS Guided Elective').
_req(cs4392,'CS Guided Elective').
_req(cs4393,'CS Guided Elective').
_req(cs4394,'CS Guided Elective').
_req(cs4395,'CS Guided Elective').
_req(cs4396,'CS Guided Elective').
_req(cs4397,'CS Guided Elective').
_req(cs4398,'CS Guided Elective').
_req(cs4399,'CS Guided Elective').
_req(ee4325,'CS Guided Elective').
_req(se4351,'CS Guided Elective').
_req(se4352,'CS Guided Elective').
_req(se4367,'CS Guided Elective').
_req(se4381,'CS Guided Elective').
_req(se4485,'CS Guided Elective').
_req(cs4V98,'CS Guided Elective').
%courses for history credit (6 hours)
_req(hist1301,'American History').
_req(hist1302,'American History').
_req(hist2301,'American History').
_req(hist2331,'American History').
%courses for language philosophy and culture (3 hours)
_req(arab2312,'Language, Philosophy and Culture').
_req(ams2300,'Language, Philosophy and Culture').
_req(ams2341,'Language, Philosophy and Culture').
_req(ams3300,'Language, Philosophy and Culture').
_req(chin2312,'Language, Philosophy and Culture').
_req(fren2312,'Language, Philosophy and Culture').
_req(germ2312,'Language, Philosophy and Culture').
_req(huma1301,'Language, Philosophy and Culture').
_req(japn2312,'Language, Philosophy and Culture').
_req(lit2331,'Language, Philosophy and Culture').
_req(phil1301,'Language, Philosophy and Culture').
_req(phil2317,'Language, Philosophy and Culture').
_req(span2312,'Language, Philosophy and Culture').
%Any of these courses can count for the sci 3 hour sci elective.
_req(biol1300,'Science Elective').
_req(biol1318,'Science Elective').
_req(biol2281,'Science Elective').
_req(biol2311,'Science Elective').
_req(biol2312,'Science Elective').
_req(biol2350,'Science Elective').
_req(biol318,'Science Elective').
_req(ce1202,'Science Elective').
_req(cgs2301,'Science Elective').
_req(chem1111,'Science Elective').
_req(chem1112,'Science Elective').
_req(chem1311,'Science Elective').
_req(chem1312,'Science Elective').
_req(chem1315,'Science Elective').
_req(ee1202,'Science Elective').
_req(envr2302,'Science Elective').
_req(geog2302,'Science Elective').
_req(geos1103,'Science Elective').
_req(geos1104,'Science Elective').
_req(geos1303,'Science Elective').
_req(geos1304,'Science Elective').
_req(geos2302,'Science Elective').
_req(geos2310,'Science Elective').
_req(geos2409,'Science Elective').
_req(isis2305,'Science Elective').
_req(isis2308,'Science Elective').
_req(isns2359,'Science Elective').
_req(isns2367,'Science Elective').
_req(isns2368,'Science Elective').
_req(nats1311,'Science Elective').
_req(nats2330,'Science Elective').
_req(nsc3344,'Science Elective').
_req(nsc3361,'Science Elective').
_req(nsc4352,'Science Elective').
_req(nsc4354,'Science Elective').
_req(phys1301,'Science Elective').
_req(phys1302,'Science Elective').
_req(phys2125,'Science Elective').
_req(phys2325,'Science Elective').
_req(phys2326,'Science Elective').
_req(phys2422,'Science Elective').
_req(psy2364,'Science Elective').
_req(spau2233,'Science Elective').
_req(te1202,'Science Elective').
\ No newline at end of file
This diff is collapsed.
#include 'cs2016req.lp'.
#include 'cs2016req2.lp'.
#include 'cs2016grad.lp'.
#include 'cs2016audit.lp'.
ableToGraduate(Student):-
_metRequiredCourses(Student),
_auditMathCourses(Student),
_meetsHours(Student,'Language, Philosophy and Culture',3),
_meetsHours(Student,'Creative Arts',3),
_meetsHours(Student,'American History',6),
_meetsHours(Student,'Science Elective',4),
_meetsHours(Student,'CS Guided Elective',9),
_meetsElectiveHours(Student,11).
_audit(Student):-
_auditRequiredCourses(Student),
_auditMathCourses(Student),
_auditHours(Student,'Language, Philosophy and Culture',3),
_auditHours(Student,'Creative Arts',3),
_auditHours(Student,'American History',6),
_auditHours(Student,'Science Elective',4),
_auditHours(Student,'CS Guided Elective',9),
_auditElectiveHours(Student,11).
_main(Student):-
ableToGraduate(Student).
_main(Student):-
_audit(Student).
%/2012/undergraduate/courses/school/ah
%/2012/undergraduate/courses/school/bbs
%/2012/undergraduate/courses/school/ecs
%/2012/undergraduate/courses/school/epps
%/2012/undergraduate/courses/school/is
%/2012/undergraduate/courses/school/jsom
%/2012/undergraduate/courses/school/nsm
%/2012/undergraduate/courses/school/ugrad
%/2013/undergraduate/courses/school/ah
%/2013/undergraduate/courses/school/bbs
%/2013/undergraduate/courses/school/ecs
%/2013/undergraduate/courses/school/epps
%/2013/undergraduate/courses/school/is
%/2013/undergraduate/courses/school/jsom
%/2013/undergraduate/courses/school/nsm
%/2013/undergraduate/courses/school/ugrad
%/2014/undergraduate/courses/school/ah
%/2014/undergraduate/courses/school/bbs
%/2014/undergraduate/courses/school/ecs
%/2014/undergraduate/courses/school/epps
%/2014/undergraduate/courses/school/is
%/2014/undergraduate/courses/school/jsom
%/2014/undergraduate/courses/school/nsm
%/2014/undergraduate/courses/school/ugrad
%/2015/undergraduate/courses/school/ah
%/2015/undergraduate/courses/school/atec
%/2015/undergraduate/courses/school/bbs
%/2015/undergraduate/courses/school/ecs
%/2015/undergraduate/courses/school/epps
%/2015/undergraduate/courses/school/hons
%/2015/undergraduate/courses/school/is
%/2015/undergraduate/courses/school/jsom
%/2015/undergraduate/courses/school/nsm
%/2015/undergraduate/courses/school/ugrad
_course(a3000,0).
%all courses in the coursebook system from 2012-2016
_course(acct2301,3).
_course(acct2302,3).
_course(acct3100,1).
_course(acct3101,1).
_course(acct3320,3).
_course(acct3322,3).
_course(acct3331,3).
......@@ -137,6 +104,7 @@ _course(arts2381,3).
_course(arts2382,3).
_course(arts2V71,3).
_course(arts3311,3).
_course(arts3313,3).
_course(arts3340,3).
_course(arts3341,3).
_course(arts3363,3).
......@@ -169,12 +137,14 @@ _course(atec2324,3).
_course(atec2325,3).
_course(atec2326,3).
_course(atec2331,3).
_course(atec2340,3).
_course(atec2382,3).
_course(atec2384,3).
_course(atec2385,3).
_course(atec3310,3).
_course(atec3312,3).
_course(atec3315,3).
_course(atec3316,3).
_course(atec3317,3).
_course(atec3318,3).
_course(atec3319,3).
......@@ -184,6 +154,7 @@ _course(atec3325,3).
_course(atec3326,3).
_course(atec3327,3).
_course(atec3328,3).
_course(atec3329,3).
_course(atec3330,3).
_course(atec3331,3).
_course(atec3332,3).
......@@ -192,6 +163,7 @@ _course(atec3335,3).
_course(atec3336,3).
_course(atec3338,3).
_course(atec3339,3).
_course(atec3346,3).
_course(atec3351,3).
_course(atec3352,3).
_course(atec3353,3).
......@@ -202,8 +174,11 @@ _course(atec3361,3).
_course(atec3363,3).
_course(atec3364,3).
_course(atec3365,3).
_course(atec3370,3).
_course(atec3384,3).
_course(atec4310,3).
_course(atec4312,3).
_course(atec4318,3).
_course(atec4322,3).
_course(atec4324,3).
_course(atec4325,3).
......@@ -228,6 +203,7 @@ _course(atec4353,3).
_course(atec4356,3).
_course(atec4357,3).
_course(atec4361,3).
_course(atec4363,3).
_course(atec4365,3).
_course(atec4367,3).
_course(atec4368,3).
......@@ -237,6 +213,7 @@ _course(atec4373,3).
_course(atec4374,3).
_course(atec4375,3).
_course(atec4380,3).
_course(atec4381,3).
_course(atec4399,3).
_course(atec4V71,3).
_course(atec4V99,3).
......@@ -305,8 +282,10 @@ _course(biol3380,3).
_course(biol3388,3).
_course(biol3455,4).
_course(biol3456,4).
_course(biol3520,5).
_course(biol3V00,3).
_course(biol3V01,3).
_course(biol3V15,3).
_course(biol3V20,3).
_course(biol3V40,3).
_course(biol3V81,3).
......@@ -326,6 +305,7 @@ _course(biol4308,3).
_course(biol4310,3).
_course(biol4315,3).
_course(biol4316,3).
_course(biol4317,3).
_course(biol4320,3).
_course(biol4324,3).
_course(biol4332,3).
......@@ -341,10 +321,12 @@ _course(biol4350,3).
_course(biol4352,3).
_course(biol4353,3).
_course(biol4355,3).
_course(biol4356,3).
_course(biol4360,3).
_course(biol4365,3).
_course(biol4366,3).
_course(biol4370,3).
_course(biol4371,3).
_course(biol4375,3).
_course(biol4380,3).
_course(biol4382,3).
......@@ -404,6 +386,8 @@ _course(bmen3330,3).
_course(bmen3350,3).
_course(bmen3360,3).
_course(bmen3370,3).
_course(bmen3380,3).
_course(bmen3399,3).
_course(bmen3V99,3).
_course(bmen4110,1).
_course(bmen4310,3).
......@@ -487,15 +471,21 @@ _course(chem1111,1).
_course(chem1112,1).
_course(chem1115,1).
_course(chem1116,1).
_course(chem1301,3).
_course(chem1311,3).
_course(chem1312,3).
_course(chem1315,3).
_course(chem1316,3).
_course(chem2123,1).
_course(chem2125,1).
_course(chem2127,1).
_course(chem2128,1).
_course(chem2130,1).
_course(chem2323,3).
_course(chem2324,3).
_course(chem2325,3).
_course(chem2327,3).
_course(chem2328,3).
_course(chem2330,3).
_course(chem2401,4).
_course(chem2V01,3).
......@@ -552,6 +542,8 @@ _course(cldp4V96,3).
_course(cldp4V98,3).
_course(cldp4V99,3).
_course(comm1311,3).
_course(comm1320,3).
_course(comm1321,3).
_course(comm2311,3).
_course(comm2313,3).
_course(comm2314,3).
......@@ -572,6 +564,8 @@ _course(comm4350,3).
_course(comm4351,3).
_course(comm4360,3).
_course(comm4370,3).
_course(comm4371,3).
_course(comm4375,3).
_course(comm4V71,3).
_course(cosc1136,1).
_course(cosc1336,3).
......@@ -599,6 +593,7 @@ _course(crim3304,3).
_course(crim3307,3).
_course(crim3309,3).
_course(crim3310,3).
_course(crim3311,3).
_course(crim3312,3).
_course(crim3319,3).
_course(crim3320,3).
......@@ -720,6 +715,7 @@ _course(dram1310,3).
_course(dram1351,3).
_course(dram1352,3).
_course(dram2311,3).
_course(dram2350,3).
_course(dram2364,3).
_course(dram2371,3).
_course(dram2372,3).
......@@ -733,12 +729,16 @@ _course(dram3342,3).
_course(dram3351,3).
_course(dram3356,3).
_course(dram3372,3).
_course(dram3380,3).
_course(dram4301,3).
_course(dram4310,3).
_course(dram4342,3).
_course(dram4V71,3).
_course(econ2001,0).
_course(econ2301,3).
_course(econ2302,3).
_course(econ3304,3).
_course(econ3305,3).
_course(econ3310,3).
_course(econ3311,3).
_course(econ3312,3).
......@@ -751,6 +751,7 @@ _course(econ3337,3).
_course(econ3369,3).
_course(econ3381,3).
_course(econ4301,3).
_course(econ4302,3).
_course(econ4310,3).
_course(econ4320,3).
_course(econ4330,3).
......@@ -781,8 +782,10 @@ _course(ecs3301,3).
_course(ecs3310,3).
_course(ecs3361,3).
_course(ecs3390,3).
_course(ecsc2100,1).
_course(ecsc3177,1).
_course(ecsc3179,1).
_course(ecsc4100,1).
_course(ecsc4300,3).
_course(ecsc4378,3).
_course(ed3314,3).
......@@ -842,10 +845,13 @@ _course(ee4341,3).
_course(ee4342,3).
_course(ee4360,3).
_course(ee4361,3).
_course(ee4362,3).
_course(ee4363,3).
_course(ee4365,3).
_course(ee4367,3).
_course(ee4368,3).
_course(ee4370,3).
_course(ee4371,3).
_course(ee4388,3).
_course(ee4389,3).
_course(ee4390,3).
......@@ -855,9 +861,21 @@ _course(ee4399,3).
_course(ee4V95,3).
_course(ee4V97,3).
_course(ee4V98,3).
_course(emac2321,3).
_course(emac2322,3).
_course(emac2323,3).
_course(emac2330,3).
_course(emac3300,3).
_course(emac3326,3).
_course(emac3328,3).
_course(emac3335,3).
_course(emac3343,3).
_course(emac3350,3).
_course(emac4314,3).
_course(emac4325,3).
_course(emac4326,3).
_course(emac4335,3).
_course(emac4350,3).
_course(emac4372,3).
_course(emac4380,3).
_course(emac4399,3).
......@@ -874,6 +892,7 @@ _course(engr4334,3).
_course(engr4343,3).
_course(engy3300,3).
_course(engy3330,3).
_course(engy3340,3).
_course(engy4300,3).
_course(engy4313,3).
_course(entp3301,3).
......@@ -896,6 +915,8 @@ _course(epps1110,1).
_course(epps2301,3).
_course(epps2302,3).
_course(epps2303,3).
_course(epps2305,3).
_course(epps3301,3).
_course(epps3305,3).
_course(epps3405,4).
_course(epps4301,3).
......@@ -926,6 +947,10 @@ _course(fin4320,3).
_course(fin4321,3).
_course(fin4328,3).
_course(fin4330,3).
_course(fin4331,3).
_course(fin4332,3).
_course(fin4333,3).
_course(fin4334,3).
_course(fin4335,3).
_course(fin4337,3).
_course(fin4340,3).
......@@ -1029,6 +1054,7 @@ _course(gisc4310,3).
_course(gisc4317,3).
_course(gisc4325,3).
_course(gisc4326,3).
_course(gisc4380,3).
_course(gisc4382,3).
_course(gisc4384,3).
_course(gisc4385,3).
......@@ -1160,6 +1186,7 @@ _course(hmgt4321,3).
_course(hmgt4331,3).
_course(hmgt4341,3).
_course(hmgt4351,3).
_course(hmgt4392,3).
_course(hmgt4V90,3).
_course(hons3199,1).
_course(hons4V96,3).
......@@ -1169,6 +1196,13 @@ _course(huma3300,3).
_course(huma3342,3).
_course(huma3350,3).
_course(huma3351,3).
_course(huma4V71,3).
_course(ims3091,0).
_course(ims3092,0).
_course(ims3093,0).
_course(ims3094,0).
_course(ims3095,0).
_course(ims3096,0).
_course(ims3100,1).
_course(ims3310,3).
_course(ims3V91,3).
......@@ -1259,6 +1293,7 @@ _course(itss3211,2).
_course(itss3300,3).
_course(itss3310,3).
_course(itss3312,3).
_course(itss3390,3).
_course(itss4090,0).
_course(itss4300,3).
_course(itss4301,3).
......@@ -1275,6 +1310,7 @@ _course(itss4354,3).
_course(itss4355,3).
_course(itss4360,3).
_course(itss4370,3).
_course(itss4380,3).
_course(itss4390,3).
_course(itss4V81,3).
_course(itss4V90,3).
......@@ -1290,6 +1326,7 @@ _course(lang1312,3).
_course(lang2311,3).
_course(lang2312,3).
_course(lang2342,3).
_course(lang2V42,3).
_course(lang2V71,3).
_course(lang3342,3).
_course(lang3348,3).
......@@ -1425,6 +1462,7 @@ _course(mech4V95,3).
_course(mech4V98,3).
_course(meco3300,3).
_course(meco3330,3).
_course(meco3340,3).
_course(meco4300,3).
_course(meco4342,3).
_course(meco4351,3).
......@@ -1468,6 +1506,10 @@ _course(mkt4331,3).
_course(mkt4332,3).
_course(mkt4333,3).
_course(mkt4334,3).
_course(mkt4335,3).
_course(mkt4336,3).
_course(mkt4337,3).
_course(mkt4338,3).
_course(mkt4340,3).
_course(mkt4350,3).
_course(mkt4351,3).
......@@ -1480,6 +1522,7 @@ _course(mkt4V93,3).
_course(musi1306,3).
_course(musi1313,3).
_course(musi2113,1).
_course(musi2120,1).
_course(musi2127,1).
_course(musi2311,3).
_course(musi2315,3).
......@@ -1494,6 +1537,8 @@ _course(musi2326,3).
_course(musi2327,3).
_course(musi2328,3).
_course(musi2V71,3).
_course(musi3118,1).
_course(musi3120,1).