-
Notifications
You must be signed in to change notification settings - Fork 1
/
db2.pl
53 lines (53 loc) · 5.32 KB
/
db2.pl
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
:-module(db,[requirement/3]).
requirement('CSE','4GS',bool(or(val(id('MATH','20A')),val(id('MATH','10A'))))).
requirement('CSE','6GS',bool(or(val(id('MATH','20A')),val(id('MATH','10A'))))).
requirement('CSE','8B',bool(val(id('CSE','8A')))).
requirement('CSE','12',bool(or(val(id('CSE','11')),val(id('CSE','8B'))))).
requirement('CSE','15L',bool(or(val(id('CSE','11')),val(id('CSE','8B'))))).
requirement('CSE','20',bool(or(or(or(val(id('CSE','11')),val(id('CSE','10'))),val(id('CSE','9B'))),val(id('CSE','8B'))))).
requirement('CSE','21',bool(or(val(id('MATH','15A')),val(id('CSE','20'))))).
requirement('CSE','30',bool(and(val(id('CSE','15L')),val(id('CSE','12'))))).
requirement('CSE','80',bool(or(val(id('CSE','11')),val(id('CSE','8B'))))).
requirement('CSE','86',bool(val(id('CSE','12')))).
requirement('CSE','100',bool(and(and(and(or(or(or(val(id('MAE','9')),val(id('ECE','15'))),val(id('CSE','30'))),val(id('CSE','5A'))),val(id('CSE','15L'))),val(id('CSE','12'))),or(val(id('MATH','15B')),val(id('CSE','21')))))).
requirement('CSE','101',bool(and(and(or(val(id('MATH','176')),val(id('CSE','100'))),or(or(or(val(id('MATH','103A')),val(id('MATH','100A'))),val(id('MATH','15B'))),val(id('CSE','21')))),val(id('CSE','12'))))).
requirement('CSE','103',bool(and(val(id('MATH','20B')),val(id('MATH','20A'))))).
requirement('CSE','105',bool(and(or(or(or(val(id('MATH','103A')),val(id('MATH','100A'))),val(id('MATH','15B'))),val(id('CSE','21'))),val(id('CSE','12'))))).
requirement('CSE','107',bool(and(and(or(or(or(val(id('MATH','166A')),val(id('MATH','166'))),val(id('CSE','165'))),val(id('CSE','105'))),or(or(val(id('MATH','188')),val(id('CSE','179'))),val(id('CSE','101')))),or(val(id('MATH','15B')),val(id('CSE','21')))))).
requirement('CSE','110',bool(and(or(val(id('MATH','15B')),val(id('CSE','21'))),val(id('CSE','12'))))).
requirement('CSE','112',bool(val(id('CSE','111')))).
requirement('CSE','118',bool(or(or(or(or(or(or(or(or(or(or(or(val(id('ICAM','160B')),val(id('ECE','192'))),val(id('ECE','191'))),val(id('ECE','118'))),val(id('ECE','111'))),val(id('CSE','132B'))),val(id('CSE','131'))),val(id('COMT','115'))),val(id('COMT','111B'))),val(id('COGS','184'))),val(id('COGS','121'))),val(id('COGS','102C'))))).
requirement('CSE','120',bool(and(and(or(val(id('CSE','110')),val(id('CSE','70'))),or(val(id('MATH','188')),val(id('CSE','101')))),val(id('CSE','30'))))).
requirement('CSE','121',bool(val(id('CSE','120')))).
requirement('CSE','123',bool(val(id('CSE','120')))).
requirement('CSE','124',bool(val(id('CSE','120')))).
requirement('CSE','127',bool(and(val(id('CSE','120')),or(val(id('MATH','15B')),val(id('CSE','21')))))).
requirement('CSE','130',bool(and(and(or(val(id('MATH','166')),val(id('CSE','105'))),or(val(id('MATH','176')),val(id('CSE','100')))),val(id('CSE','12'))))).
requirement('CSE','131',bool(and(and(and(or(val(id('CSE','110')),val(id('CSE','70'))),or(val(id('MATH','166')),val(id('CSE','105')))),or(val(id('MATH','176')),val(id('CSE','100')))),val(id('CSE','130'))))).
requirement('CSE','132A',bool(or(val(id('MATH','176')),val(id('CSE','100'))))).
requirement('CSE','132B',bool(or(val(id('CSE','132A')),val(id('CSE','132'))))).
requirement('CSE','134B',bool(or(val(id('MATH','176')),val(id('CSE','100'))))).
requirement('CSE','135',bool(or(val(id('MATH','176')),val(id('CSE','100'))))).
requirement('CSE','140',bool(or(or(val(id('MATH','15A')),val(id('CSE','160A'))),val(id('CSE','20'))))).
requirement('CSE','140L',bool(or(val(id('MATH','15A')),val(id('CSE','20'))))).
requirement('CSE','141',bool(and(val(id('CSE','140L')),val(id('CSE','140'))))).
requirement('CSE','141L',bool(and(and(val(id('CSE','110')),val(id('CSE','140L'))),val(id('CSE','140'))))).
requirement('CSE','143',bool(or(or(val(id('ECE','81')),val(id('CSE','170A'))),val(id('CSE','140'))))).
requirement('CSE','144',bool(and(val(id('CSE','140L')),val(id('CSE','140'))))).
requirement('CSE','145',bool(val(id('CSE','30')))).
requirement('CSE','148',bool(and(val(id('CSE','141L')),val(id('CSE','141'))))).
requirement('CSE','150',bool(or(val(id('MATH','176')),val(id('CSE','100'))))).
requirement('CSE','151',bool(or(val(id('MATH','176')),val(id('CSE','100'))))).
requirement('CSE','152',bool(and(and(or(val(id('MATH','188')),val(id('CSE','101'))),or(val(id('MATH','176')),val(id('CSE','100')))),val(id('MATH','20F'))))).
requirement('CSE','153',bool(or(val(id('MATH','176')),val(id('CSE','100'))))).
requirement('CSE','160',bool(or(val(id('MATH','176')),val(id('CSE','100'))))).
requirement('CSE','164',bool(val(id('CSE','167')))).
requirement('CSE','165',bool(val(id('CSE','167')))).
requirement('CSE','166',bool(and(or(val(id('MATH','176')),val(id('CSE','100'))),val(id('MATH','20F'))))).
requirement('CSE','167',bool(or(val(id('MATH','176')),val(id('CSE','100'))))).
requirement('CSE','168',bool(val(id('CSE','167')))).
requirement('CSE','169',bool(val(id('CSE','167')))).
requirement('CSE','170',bool(or(or(val(id('CSE','11')),val(id('CSE','8A'))),val(id('CSE','7'))))).
requirement('CSE','181',bool(and(and(or(val(id('CHEM','114C')),val(id('BIMM','100'))),or(val(id('MATH','188')),val(id('CSE','101')))),or(val(id('MATH','176')),val(id('CSE','100')))))).
requirement('CSE','182',bool(or(val(id('MATH','176')),val(id('CSE','100'))))).
requirement('CSE','184',bool(and(or(or(or(val(id('CSE','182')),val(id('CHEM','182'))),val(id('BIMM','182'))),val(id('BENG','182'))),or(or(val(id('CSE','181')),val(id('BIMM','181'))),val(id('BENG','181')))))).