Input Strings:
cdh(CS100,M,4:00pm).
cdh(CS100,W,4:00pm).
cdh(CS100,F,4:00pm).
cdh(CS142,T,4:00pm).
cdh(CS142,Th,4:00pm).
cdh(ENGL251,T,1:00pm).
cdh(ENGL251,Th,1:00pm).
cdh(HIST201,T,3:00pm).
cdh(HIST201,Th,3:00pm).
cdh(HIST202,T,3:00pm).
cdh(HIST202,Th,3:00pm).
cdh(PHIL150,M,9:00am).
cdh(PHIL150,W,9:00am).
cdh(PHIL150,F,9:00am).
cr(CS100,320 MARB).
cr(CS142,1170 TMCB).
cr(ENGL251,3106 JKB).
cr(HIST201,502 SWKT).
cr(HIST202,3402 MCKB).
cr(PHIL150,B92 JFSB).
csg(CS100,44444,C).
csg(CS100,22222,C).
csg(CS100,55555,C).
csg(CS100,12345,C+).
csg(CS100,11111,B).
csg(CS142,33333,B+).
csg(CS142,22222,C+).
csg(ENGL251,44444,B).
csg(ENGL251,33333,C+).
csg(HIST201,33333,A-).
csg(HIST201,44444,B).
csg(HIST201,12345,A).
csg(HIST201,22222,A).
csg(HIST201,55555,B-).
csg(HIST202,11111,A-).
csg(PHIL150,55555,C+).
csg(PHIL150,22222,C-).
csg(PHIL150,11111,B-).
csg(PHIL150,33333,A).
csg(PHIL150,12345,A-).
snap(12345,Charles,236 Apple,555-5555).
snap(11111,Ferdinand,100 Briar,444-1111).
snap(22222,Henry,54 Cherry,800-1234).
snap(33333,William,999 Dogwood,999-9999).
snap(44444,Alexander,423 Oak,123-4567).
snap(55555,Attila,1023 Fox,321-7654).

Vectors:
snap(12345,Charles,236 Apple,555-5555)
snap(11111,Ferdinand,100 Briar,444-1111)
snap(22222,Henry,54 Cherry,800-1234)
snap(33333,William,999 Dogwood,999-9999)
snap(44444,Alexander,423 Oak,123-4567)
snap(55555,Attila,1023 Fox,321-7654)
csg(CS100,44444,C)
csg(CS100,22222,C)
csg(CS100,55555,C)
csg(CS100,12345,C+)
csg(CS100,11111,B)
csg(CS142,33333,B+)
csg(CS142,22222,C+)
csg(ENGL251,44444,B)
csg(ENGL251,33333,C+)
csg(HIST201,33333,A-)
csg(HIST201,44444,B)
csg(HIST201,12345,A)
csg(HIST201,22222,A)
csg(HIST201,55555,B-)
csg(HIST202,11111,A-)
csg(PHIL150,55555,C+)
csg(PHIL150,22222,C-)
csg(PHIL150,11111,B-)
csg(PHIL150,33333,A)
csg(PHIL150,12345,A-)
cdh(CS100,M,4:00pm)
cdh(CS100,W,4:00pm)
cdh(CS100,F,4:00pm)
cdh(CS142,T,4:00pm)
cdh(CS142,Th,4:00pm)
cdh(ENGL251,T,1:00pm)
cdh(ENGL251,Th,1:00pm)
cdh(HIST201,T,3:00pm)
cdh(HIST201,Th,3:00pm)
cdh(HIST202,T,3:00pm)
cdh(HIST202,Th,3:00pm)
cdh(PHIL150,M,9:00am)
cdh(PHIL150,W,9:00am)
cdh(PHIL150,F,9:00am)
cr(CS100,320 MARB)
cr(CS142,1170 TMCB)
cr(ENGL251,3106 JKB)
cr(HIST201,502 SWKT)
cr(HIST202,3402 MCKB)
cr(PHIL150,B92 JFSB)

Course Grades:
CS100,Alexander,C
CS100,Henry,C
CS100,Attila,C
CS100,Charles,C+
CS100,Ferdinand,B

CS142,William,B+
CS142,Henry,C+

ENGL251,Alexander,B
ENGL251,William,C+

HIST201,William,A-
HIST201,Alexander,B
HIST201,Charles,A
HIST201,Henry,A
HIST201,Attila,B-

HIST202,Ferdinand,A-

PHIL150,Attila,C+
PHIL150,Henry,C-
PHIL150,Ferdinand,B-
PHIL150,William,A
PHIL150,Charles,A-

Student Schedules:
Charles, 12345, 236 Apple, 555-5555
  CS100 MWF 4:00pm, 320 MARB
  HIST201 TTh 3:00pm, 502 SWKT
  PHIL150 MWF 9:00am, B92 JFSB

Ferdinand, 11111, 100 Briar, 444-1111
  CS100 MWF 4:00pm, 320 MARB
  HIST202 TTh 3:00pm, 3402 MCKB
  PHIL150 MWF 9:00am, B92 JFSB

Henry, 22222, 54 Cherry, 800-1234
  CS100 MWF 4:00pm, 320 MARB
  CS142 TTh 4:00pm, 1170 TMCB
  HIST201 TTh 3:00pm, 502 SWKT
  PHIL150 MWF 9:00am, B92 JFSB

William, 33333, 999 Dogwood, 999-9999
  CS142 TTh 4:00pm, 1170 TMCB
  ENGL251 TTh 1:00pm, 3106 JKB
  HIST201 TTh 3:00pm, 502 SWKT
  PHIL150 MWF 9:00am, B92 JFSB

Alexander, 44444, 423 Oak, 123-4567
  CS100 MWF 4:00pm, 320 MARB
  ENGL251 TTh 1:00pm, 3106 JKB
  HIST201 TTh 3:00pm, 502 SWKT

Attila, 55555, 1023 Fox, 321-7654
  CS100 MWF 4:00pm, 320 MARB
  HIST201 TTh 3:00pm, 502 SWKT
  PHIL150 MWF 9:00am, B92 JFSB