timemwf(0800-mwf, 'MWF', '0800-0850am').
timemwf(0800-m,   'M  ', '0800-0850am').
timemwf(0800-w,   'W  ', '0800-0850am').
timemwf(0800-f,   'F  ', '0800-0850am').
timemwf(0900-mwf, 'MWF', '0900-0950am').
timemwf(0900-m,   'M  ', '0900-0950am').
timemwf(0900-w,   'W  ', '0900-0950am').
timemwf(1000-mwf, 'MWF', '1000-1050am').
timemwf(1000-m,   'M  ', '1000-1050am').
timemwf(1000-w,   'W  ', '1000-1050am').
timemwf(1000-f,   'F  ', '1000-1050am').
timemwf(1100-mwf, 'MWF', '1100-1150am').
timemwf(1100-m,   'M  ', '1100-1150am').
timemwf(1100-w,   'W  ', '1100-1150am').
timemwf(1100-f,   'F  ', '1100-1150am').
timemwf(1200-mwf, 'MWF', '1200-1250pm').
timemwf(1200-m,   'M  ', '1200-1250pm').
timemwf(1200-w,   'W  ', '1200-1250pm').
timemwf(1200-f,   'F  ', '1200-1250pm').
timemwf(1300-mwf, 'MWF', '0100-0150pm').
timemwf(1300-m,   'M  ', '0100-0150pm').
timemwf(1300-w,   'W  ', '0100-0150pm').
timemwf(1400-mw,  'MW ', '0200-0315pm').
timemwf(1400-m,   'M  ', '0200-0250pm').
timemwf(1400-w,   'W  ', '0200-0250pm').
timemwf(1400-f,   'F  ', '0200-0250pm').
timemwf(1530-mw,  'MW ', '0330-0445pm').
timemwf(1600-m,   'M  ', '0400-0450pm').
timemwf(1730-mw,  'MW ', '0530-0645pm').
timemwf(1800-m,   'M  ', '0600-0650pm').
timemwf(1800-w,   'W  ', '0600-0650pm').
timemwf(1900-mw,  'MW ', '0700-0815pm').
timemwf(1900-m,   'M  ', '0700-0750pm').
timemwf(1900-w,   'W  ', '0700-0750pm').
timemwf(2030-mw,  'MW ', '0830-0945pm').

timetr(0800-tr,  'TR ', '0800-0915am').
timetr(0800-t,   'T  ', '0800-0850am').
timetr(0800-r,   'R  ', '0800-0850am').
timetr(0930-tr,  'TR ', '0930-1045am').
timetr(1100-tr,  'TR ', '1100-1215pm').
timetr(1100-t,   'T  ', '1100-1150pm').
timetr(1230-tr,  'TR ', '1230-0145pm').
timetr(1400-tr,  'TR ', '0200-0315pm').
timetr(1400-t,   'T  ', '0200-0250pm').
timetr(1400-r,   'R  ', '0200-0250pm').
timetr(1530-tr,  'TR ', '0330-0445pm').
timetr(1730-tr,  'TR ', '0530-0645pm').
timetr(1730-t,   'T  ', '0530-0620pm').
timetr(1730-r,   'R  ', '0530-0620pm').
timetr(1800-t,   'T  ', '0600-0650pm').
timetr(1800-r,   'R  ', '0600-0650pm').
timetr(1900-tr,  'TR ', '0700-0815pm').
timetr(1900-t,   'T  ', '0700-0750pm').
timetr(1900-r,   'R  ', '0700-0750pm').
timetr(2030-tr,  'TR ', '0830-0945pm').

timearr(arranged, '   ', 'ARRANGED   ').

timeftmwf(0800-mwf, 'MWF', '0800-0850am').
timeftmwf(0900-mwf, 'MWF', '0900-0950am').
timeftmwf(1000-mwf, 'MWF', '1000-1050am').
timeftmwf(1100-mwf, 'MWF', '1100-1150am').
timeftmwf(1200-mwf, 'MWF', '1200-1250pm').
timeftmwf(1300-mwf, 'MWF', '0100-0150pm').
timeftmwf(1400-mw,  'MW ', '0200-0315pm').
timeftmwf(1530-mw,  'MW ', '0330-0445pm').
timeftmwf(1730-mw,  'MW ', '0530-0645pm').
timeftmwf(1900-mw,  'MW ', '0700-0815pm').
timeftmwf(2030-mw,  'MW ', '0830-0945pm').

timefttr(0800-tr,  'TR ', '0800-0915am').
timefttr(0930-tr,  'TR ', '0930-1045am').
timefttr(1100-tr,  'TR ', '1100-1215pm').
timefttr(1230-tr,  'TR ', '1230-0145pm').
timefttr(1400-tr,  'TR ', '0200-0315pm').
timefttr(1530-tr,  'TR ', '0330-0445pm').
timefttr(1730-tr,  'TR ', '0530-0645pm').
timefttr(1900-tr,  'TR ', '0700-0815pm').
timefttr(2030-tr,  'TR ', '0830-0945pm').



courses(cs1023,  'CS 1023', 'Information Society').
courses(cs1033,  'CS 1033', 'Microcomputer Applications').
courses(cs1063d, 'CS 1063', 'Intro to Prog (1604 dist. learn.)').
courses(cs1063,  'CS 1063', 'Intro to Programming').
courses(cs1063dt,'CS 1063', 'Intro to Prog (dt dist. learn.)').
courses(cs1073,  'CS 1073', 'Comp Prog Scientific Appl').
courses(cs1711,  'CS 1711', 'Intro to CS - Lab - 1604').
courses(cs1711t, 'CS 1711', 'Intro to CS - Lab - dt').
courses(cs1711d, 'CS 1711', 'Intro to CS - Lab - 1604 dist learn').
courses(cs1711dt,'CS 1711', 'Intro to CS - Lab - dt dist learn').
courses(cs1713,  'CS 1713', 'Intro to Computer Science').
courses(cs1713d, 'CS 1713', 'Intro to CS (1604 dist. learn.)').
courses(cs1713dt,'CS 1713', 'Intro to CS (dt dist. learn.)').
courses(cs1721,  'CS 1721', 'Data Struc. - Lab - 1604').
courses(cs1721t, 'CS 1721', 'Data Struc. - Lab - dt').
courses(cs1721d, 'CS 1721', 'Data Struc. - Lab - 1604 dist learn').
courses(cs1721dt,'CS 1721', 'Data Struc. - Lab - dt dist learn').
courses(cs1723,  'CS 1723', 'Data Structures').
courses(cs1723d, 'CS 1723', 'Data Struct. (1604 dist. learn.)').
courses(cs1723dt,'CS 1723', 'Data Struct. (dt dist. learn.)').
courses(cs2073,  'CS 2073', 'Engineering Programming').
courses(cs2073d, 'CS 2073', 'Engin. Prog. (1604 dist. learn.)').
courses(cs2073dt,'CS 2073', 'Engin. Prog. (dt dist. learn.)').
courses(cs2211,  'CS 2211', 'Advanced Programming - lab').
courses(cs2213,  'CS 2213', 'Advanced Programming').
courses(cs2411,  'CS 2411', 'Systems Programming - lab').
courses(cs2413,  'CS 2413', 'Systems Programming').
courses(cs2511,  'CS 2511', 'Computer Organization I - lab').
courses(cs2513,  'CS 2513', 'Computer Organization I').
courses(cs2731,  'CS 2731', 'Computer Organ II - lab').
courses(cs2733,  'CS 2733', 'Computer Organization II').
courses(cs3231,  'CS 3231', 'Discrete Math Structures - lab').
courses(cs3233,  'CS 3233', 'Discrete Math Structures').
courses(cs3341,  'CS 3341', 'Analysis of Algorithms - lab').
courses(cs3343,  'CS 3343', 'Analysis of Algorithms').
courses(cs3413,  'CS 3413', 'Data Communication').
courses(cs3721,  'CS 3721', 'Programming Languages - lab').
courses(cs3723,  'CS 3723', 'Programming Languages').
courses(cs3731,  'CS 3731', 'Operating Systems - lab').
courses(cs3733,  'CS 3733', 'Operating Systems').
courses(cs3743,  'CS 3743', 'Database Management').
courses(cs3773,  'CS 3773', 'Software Engineering').
courses(cs3793,  'CS 3793', 'Artificial Intelligence').
courses(cs4313,  'CS 4313', 'Automata and Formal Lang').
courses(cs4353,  'CS 4353', 'Unix and Network Security').
courses(cs4363,  'CS 4363', 'Cryptography').
courses(cs4383,  'CS 4383', 'Computer Graphics').
courses(cs4393,  'CS 4393', 'User Interfaces').
courses(cs4633,  'CS 4633', 'Simulation').
courses(cs4713,  'CS 4713', 'Compiler Writing').
courses(cs4751,  'CS 4751', 'Computer Architecture - lab').
courses(cs4753,  'CS 4753', 'Computer Architecture').
courses(cs4763,  'CS 4763', 'Multimedia Systems').
courses(cs4773,  'CS 4773', 'Object-Oriented Sys').
courses(cs4793,  'CS 4793', 'Neural Networks').
courses(cs4823,  'CS 4823', 'Parallel Programming').
courses(cs4873,  'CS 4873', 'Computer Networks').
courses(cs4901,  'CS 4901', 'Seminar').
courses(cs4913,  'CS 4913', 'Independent Study').
courses(cs4933,  'CS 4933', 'Internship in CS').
courses(cs4953,  'CS 4953', 'Special Studies in CS').
courses(cs4953b, 'CS 4953', 'SS-CS: Advanced OS').
courses(cs4953d, 'CS 4953', 'SS-CS: Experimentation in CS').
courses(cs4993,  'CS 4993', 'Honors Research').

courses(cs5103, 'CS 5103', 'Software Engineering').
courses(cs5113, 'CS 5113', 'Computer Graphics').
courses(cs5233, 'CS 5233', 'Artificial Intelligence').
courses(cs5253, 'CS 5253', 'Expert Systems').
courses(cs5293, 'CS 5293', 'Numerical Linear Algebra').
courses(cs5353, 'CS 5353', 'Formal Lang and Automata').
courses(cs5363, 'CS 5363', 'Prog Lang and Compilers').
courses(cs5443, 'CS 5443', 'Data Base Management').
courses(cs5513, 'CS 5513', 'Computer Architecture').
courses(cs5523, 'CS 5523', 'Operating Systems').
courses(cs5603, 'CS 5603', 'Numerical Analysis').
courses(cs5623, 'CS 5623', 'Simulation Techniques').
courses(cs5633, 'CS 5633', 'Analysis of Algorithms').
courses(cs5973, 'CS 5973', 'Directed Research').
courses(cs6103, 'CS 6103', 'Distributed Software Devel').
courses(cs6113, 'CS 6113', 'Prog Visualiz and Monitoring').
courses(cs6133, 'CS 6133', 'Software Specif and Verif').
courses(cs6243, 'CS 6243', 'Machine Learning').
courses(cs6253, 'CS 6253', 'Topics Neural Networks').
courses(cs6363, 'CS 6363', 'Adv Compiler Construction').
courses(cs6453, 'CS 6453', 'Advanced Database Sys').
courses(cs6513, 'CS 6513', 'Advanced Architecture').
courses(cs6523, 'CS 6523', 'Distributed Operating Sys').
courses(cs6543, 'CS 6543', 'Networks').
courses(cs6553, 'CS 6553', 'Performance Evaluation').
courses(cs6593, 'CS 6593', 'Adv Top in Distributed Sys').
courses(cs6593a,'CS 6593', 'Adv Top: Network Multimedia Sys').
courses(cs6593b,'CS 6593', 'ATDS: Scheduling and Load Bal.').
courses(cs6613, 'CS 6613', 'Parallel Num Meth & Software').
courses(cs6643, 'CS 6643', 'Parallel Processing').
courses(cs6653, 'CS 6653', 'Parallel Algorithms').
courses(cs6693, 'CS 6693', 'Adv Top in Appl Development').
courses(cs6723, 'CS 6723', 'Image Processing').
courses(cs6953, 'CS 6953', 'Independent Study').
courses(cs6961, 'CS 6961', 'Comprehensive Exam').
courses(cs6973, 'CS 6973', 'Special Problems').
courses(cs6973a,'CS 6973', 'SS: Research top./Comp Netwks').
courses(cs6973b,'CS 6973', 'SS: Combinatorial Optimization').
courses(cs6973c,'CS 6973', 'SS: Data Mining').
courses(cs6973d,'CS 6973', 'SS: Unix and Network Security').
courses(cs6983, 'CS 6983', 'Masters Thesis').
courses(cs7123, 'CS 7123', 'Research Seminar').
courses(cs7213, 'CS 7213', 'Doctoral Research').
courses(cs7313, 'CS 7313', 'Doctoral Dissertation').


ftcourses(cs1063,  'CS 1063', 'Intro to Programming').
ftcourses(cs1063d, 'CS 1063', 'Intro to Prog (1604 dist. learn.)').
ftcourses(cs1063dt,'CS 1063', 'Intro to Prog (dt dist. learn.)').
ftcourses(cs1073,  'CS 1073', 'Comp Prog Scientific Appl').
ftcourses(cs1713,  'CS 1713', 'Intro to Computer Science').
ftcourses(cs1713d, 'CS 1713', 'Intro to CS (1604 dist. learn.)').
ftcourses(cs1713dt,'CS 1713', 'Intro to CS (dt dist. learn.)').
ftcourses(cs1723,  'CS 1723', 'Data Structures').
ftcourses(cs1723d, 'CS 1723', 'Data Struct. (1604 dist. learn.)').
ftcourses(cs1723dt,'CS 1723', 'Data Struct. (dt dist. learn.)').
ftcourses(cs2213, 'CS 2213', 'Advanced Programming').
ftcourses(cs2413, 'CS 2413', 'Systems Programming').
ftcourses(cs2513, 'CS 2513', 'Computer Organization I').
ftcourses(cs2733, 'CS 2733', 'Computer Organization II').
ftcourses(cs3233, 'CS 3233', 'Discrete Math Structures').
ftcourses(cs3343, 'CS 3343', 'Analysis of Algorithms').
ftcourses(cs3413, 'CS 3413', 'Data Communication').
ftcourses(cs3723, 'CS 3723', 'Programming Languages').
ftcourses(cs3733, 'CS 3733', 'Operating Systems').
ftcourses(cs3743, 'CS 3743', 'Database Management').
ftcourses(cs3773, 'CS 3773', 'Software Engineering').
ftcourses(cs3793, 'CS 3793', 'Artificial Intelligence').
ftcourses(cs4313, 'CS 4313', 'Automata and Formal Lang').
ftcourses(cs4353, 'CS 4353', 'Unix and Network Security').
ftcourses(cs4363, 'CS 4363', 'Cryptography').
ftcourses(cs4383, 'CS 4383', 'Computer Graphics').
ftcourses(cs4393, 'CS 4393', 'User Interfaces').
ftcourses(cs4633, 'CS 4633', 'Simulation').
ftcourses(cs4713, 'CS 4713', 'Compiler Writing').
ftcourses(cs4753, 'CS 4753', 'Computer Architecture').
ftcourses(cs4763, 'CS 4763', 'Multimedia Systems').
ftcourses(cs4773, 'CS 4773', 'Object-Oriented Sys').
ftcourses(cs4793, 'CS 4793', 'Neural Networks').
ftcourses(cs4823, 'CS 4823', 'Parallel Programming').
ftcourses(cs4873, 'CS 4873', 'Computer Networks').
ftcourses(cs4901, 'CS 4901', 'Seminar').
ftcourses(cs4913, 'CS 4913', 'Independent Study').
ftcourses(cs4933, 'CS 4933', 'Internship in CS').
ftcourses(cs4953b,'CS 4953', 'SS-CS: Advanced OS').
ftcourses(cs4953d,'CS 4953', 'SS-CS: Experimentation in CS').
ftcourses(cs4993, 'CS 4993', 'Honors Research').

ftcourses(cs5103, 'CS 5103', 'Software Engineering').
ftcourses(cs5113, 'CS 5113', 'Computer Graphics').
ftcourses(cs5233, 'CS 5233', 'Artificial Intelligence').
ftcourses(cs5253, 'CS 5253', 'Expert Systems').
ftcourses(cs5293, 'CS 5293', 'Numerical Linear Algebra').
ftcourses(cs5353, 'CS 5353', 'Formal Lang and Automata').
ftcourses(cs5363, 'CS 5363', 'Prog Lang and Compilers').
ftcourses(cs5443, 'CS 5443', 'Data Base Management').
ftcourses(cs5513, 'CS 5513', 'Computer Architecture').
ftcourses(cs5523, 'CS 5523', 'Operating Systems').
ftcourses(cs5603, 'CS 5603', 'Numerical Analysis').
ftcourses(cs5623, 'CS 5623', 'Simulation Techniques').
ftcourses(cs5633, 'CS 5633', 'Analysis of Algorithms').
ftcourses(cs5973, 'CS 5973', 'Directed Research').
ftcourses(cs6103, 'CS 6103', 'Distributed Software Devel').
ftcourses(cs6113, 'CS 6113', 'Prog Visualiz and Monitoring').
ftcourses(cs6133, 'CS 6133', 'Software Specif and Verif').
ftcourses(cs6243, 'CS 6243', 'Machine Learning').
ftcourses(cs6253, 'CS 6253', 'Topics Neural Networks').
ftcourses(cs6363, 'CS 6363', 'Adv Compiler Construction').
ftcourses(cs6453, 'CS 6453', 'Advanced Database Sys').
ftcourses(cs6513, 'CS 6513', 'Advanced Architecture').
ftcourses(cs6523, 'CS 6523', 'Distributed Operating Sys').
ftcourses(cs6543, 'CS 6543', 'Networks').
ftcourses(cs6553, 'CS 6553', 'Performance Evaluation').
ftcourses(cs6593, 'CS 6593', 'Adv Top in Distributed Sys').
ftcourses(cs6593a,'CS 6593', 'Adv Top: Network Multimedia Sys').
ftcourses(cs6613, 'CS 6613', 'Parallel Num Meth & Software').
ftcourses(cs6643, 'CS 6643', 'Parallel Processing').
ftcourses(cs6653, 'CS 6653', 'Parallel Algorithms').
ftcourses(cs6693, 'CS 6693', 'Adv Top in Appl Development').
ftcourses(cs6723, 'CS 6723', 'Image Processing').
ftcourses(cs6953, 'CS 6953', 'Independent Study').
ftcourses(cs6961, 'CS 6961', 'Comprehensive Exam').
ftcourses(cs6973, 'CS 6973', 'Special Problems').
ftcourses(cs6973a,'CS 6973', 'SS: Research top./Comp Netwks').
ftcourses(cs6973b,'CS 6973', 'SS: Combinatorial Optimization').
ftcourses(cs6973c,'CS 6973', 'SS: Data Mining').
ftcourses(cs6973d,'CS 6973', 'SS: Unix and Network Security').
ftcourses(cs6983, 'CS 6983', 'Masters Thesis').
ftcourses(cs7123, 'CS 7123', 'Research Seminar').
ftcourses(cs7213, 'CS 7213', 'Doctoral Research').
ftcourses(cs7313, 'CS 7313', 'Doctoral Dissertation').

resources(cs1063,  'Classroom with individual computers').
resources(cs1063d, 'Distance learning: meets in BB 3.03.02').
resources(cs1063dt,'Distance learning: meets downtown').
resources(cs1073,  'Classroom with individual computers').
resources(cs1711,  'Meets in Java Lab: SB 1.02.04').
resources(cs1711t, 'Meets in downtown lab').
resources(cs1711d, 'Distance learning: meets in BB 3.03.02').
resources(cs1711dt,'Distance learning: meets downtown').
resources(cs1713,  'Classroom with individual computers').
resources(cs1713d, 'Distance learning: meets in BB 3.03.02').
resources(cs1713dt,'Distance learning: meets downtown').
resources(cs1721,  'Meets in Java Lab: SB 1.02.04').
resources(cs1721t, 'Meets in downtown lab').
resources(cs1721d, 'Distance learning: meets in BB 3.03.02').
resources(cs1721dt,'Distance learning: meets downtown').
resources(cs1723,  'Classroom with individual computers').
resources(cs1723d, 'Distance learning: meets in BB 3.03.02').
resources(cs1723dt,'Distance learning: meets downtown').
resources(cs2073,  'Classroom with individual computers').
resources(cs2073d, 'Distance learning: meets in BB 3.03.02').
resources(cs2073dt,'Distance learning: meets downtown').
resources(cs2514l, 'Meets in Java Lab: SB 1.02.04').
resources(cs2734l, 'Meets in CS Lab: SB 3.02.04').

faculty(bylander,     'Tom Bylander').
faculty(boppana,      'Raj Boppana').
/* faculty(boppana2,     'Rajesh Boppana'). */
faculty(castaneda,    'Robert Castaneda').
/* faculty(chinna,       'Prasada Chinnappareddy'). */
faculty(chronopoulos, 'Anthony Chronopoulos').
/* faculty(clark,        'Larry Clark'). */
/* faculty(doki,         'Srinivasa Doki'). */
/* faculty(dykes,        'Sandy Dykes'). */
/* faculty(emre,         'Emre'). */
/* faculty(ganapa,       'Kavitha Ganapa'). */
/* faculty(gavini,       'Raja Gavini'). */
faculty(haydar,       'Sahin Haydar').
faculty(jurkovic,     'Nevin Jurkovic').
faculty(key,          'Cathy Key').
faculty(korkmaz,      'Turgay Korkmaz').
/* faculty(krause,       'Gary Krause'). */
faculty(kwek,         'Steven Kwek').
faculty(lee,          'Ronnie Lee').
faculty(lo,          'Chia-Tien Dan Lo').
faculty(maltrud,      'Mike Maltrud').
faculty(maynard,      'Hugh Maynard').
/* faculty(mccormick,    'McCormick'). */
faculty(penmatsa,      'Satish Penmatsa').
faculty(psarris,      'Kleanthis Psarris').
/* faculty(prasad,    'Prasad'). */
faculty(krobbins,     'Kay Robbins').
faculty(srobbins,     'Steve Robbins').
faculty(tian,         'Qi Tian').
faculty(vara,         'VJ Varadharajan').
faculty(wagner,       'Neal Wagner').
faculty(womack,       'David Womack').
faculty(yum,          'Ki Hwan Yum').
faculty(zhang,        'Weining Zhang').
faculty(staff,        'CS Staff').
faculty(downtownstaff,'CS Downtown Staff').
/* faculty(cancelled,    'COURSE CANCELLED'). */


semester_coursesu_html(_) :- courses(Acourse,Pcoursenum,Pcourse),
 semesteru(Acourse,Sect,Atime,Afac, Aenroll),
 (timemwf(Atime,Pdays,Ptime) | timetr(Atime,Pdays,Ptime) |
     timearr(Atime,Pdays,Ptime)), faculty(Afac,Pfac),
 write('<tr><td>'), write(Pcoursenum), write('-'), write(Sect),
 write('</td><td>'), write(Pcourse), write('</td><td>'), write(Pdays),
 write('</td><td>'), write(Ptime), write('</td><td>'), write(Pfac),
 write('</td></tr>'), nl, fail.

semester_coursesu_enroll_html(_) :- courses(Acourse,Pcoursenum,Pcourse),
 semesteru(Acourse,Sect,Atime,Afac, Aenroll),
 (timemwf(Atime,Pdays,Ptime) | timetr(Atime,Pdays,Ptime) |
     timearr(Atime,Pdays,Ptime)), faculty(Afac,Pfac),
 write('<tr><td>'), write(Pcoursenum), write('-'), write(Sect),
 write('</td><td>'), write(Pcourse), write('</td><td>'), write(Pdays),
 write('</td><td>'), write(Ptime), write('</td><td>'), write(Pfac),
 write('</td><td align=right>'), write(Aenroll),
 write('</td></tr>'), nl, fail.

semester_coursesg_html(_) :- courses(Acourse,Pcoursenum,Pcourse),
 semesterg(Acourse,Sect,Atime,Afac, Aenroll),
 (timemwf(Atime,Pdays,Ptime) | timetr(Atime,Pdays,Ptime) |
     timearr(Atime,Pdays,Ptime)), faculty(Afac,Pfac),
 write('<tr><td>'), write(Pcoursenum), write('-'), write(Sect),
 write('</td><td>'), write(Pcourse), write('</td><td>'), write(Pdays),
 write('</td><td>'), write(Ptime), write('</td><td>'), write(Pfac),
 write('</td></tr>'), nl, fail.

semester_coursesg_enroll_html(_) :- courses(Acourse,Pcoursenum,Pcourse),
 semesterg(Acourse,Sect,Atime,Afac, Aenroll),
 (timemwf(Atime,Pdays,Ptime) | timetr(Atime,Pdays,Ptime) |
     timearr(Atime,Pdays,Ptime)), faculty(Afac,Pfac),
 write('<tr><td>'), write(Pcoursenum), write('-'), write(Sect),
 write('</td><td>'), write(Pcourse), write('</td><td>'), write(Pdays),
 write('</td><td>'), write(Ptime), write('</td><td>'), write(Pfac),
 write('</td><td align=right>'), write(Aenroll),
 write('</td></tr>'), nl, fail.

timesmwf(_) :- timeftmwf(Atime,Pdays,Ptime),
  write('<tr><td>'), write(Ptime), write('</td><td>'), write(Pdays),
  write('</td><td>'), (semester_courses_time_html(Atime) | nl),
  write('</td></tr>'), nl, fail.

timestr(_) :- timefttr(Atime,Pdays,Ptime),
  write('<tr><td>'), write(Ptime), write('</td><td>'), write(Pdays),
  write('</td><td>'), (semester_courses_time_html(Atime) | nl),
  write('</td></tr>'), nl, fail.

timesarr(_) :- timearr(Atime,Pdays,Ptime),
  write('<tr><td>'), write(Ptime), write('</td><td>'), write(Pdays),
  write('</td><td>'), (semester_courses_time_html(Atime) | nl),
  write('</td></tr>'), nl, fail.

resourcesmwf(_) :- timemwf(Atime,Pdays,Ptime),
  write('<tr><td>'), write(Ptime), write('</td><td>'), write(Pdays),
  write('</td><td>'), (semester_courses_resource_html(Atime) | nl),
  write('</td></tr>'), nl, fail.

resourcestr(_) :- timetr(Atime,Pdays,Ptime),
  write('<tr><td>'), write(Ptime), write('</td><td>'), write(Pdays),
  write('</td><td>'), (semester_courses_resource_html(Atime) | nl),
  write('</td></tr>'), nl, fail.

resourcesarr(_) :- timearr(Atime,Pdays,Ptime),
  write('<tr><td>'), write(Ptime), write('</td><td>'), write(Pdays),
  write('</td><td>'), (semester_courses_resource_html(Atime) | nl),
  write('</td></tr>'), nl, fail.

semester_courses_resource_html(Atime) :-
 (semesteru(Acourse,Sect,Atime,Afac, Aenroll) | 
    semesterg(Acourse,Sect,Atime,Afac, Aenroll)),
 courses(Acourse,Pcoursenum,Pcourse),
 resources(Acourse, Presource),
 write(Pcoursenum), write('-'), write(Sect),
 write(', '), write(Presource), write(' ('), write(Pcourse),
 write(')<br>'), nl, fail.

semester_courses_time_html(Atime) :-
 (semesteru(Acourse,Sect,Atime,Afac, Aenroll) | 
    semesterg(Acourse,Sect,Atime,Afac, Aenroll)),
 faculty(Afac,Pfac), ftcourses(Acourse,Pcoursenum,Pcourse),
 write(Pcoursenum), write('-'), write(Sect),
 write(', '), write(Pfac), write(' ('), write(Pcourse),
 write(')<br>'), nl, fail.


semester_courses_fac_html(_) :- faculty(Afac,Pfac),
 (timemwf(Atime,Pdays,Ptime) | timetr(Atime,Pdays,Ptime) |
     timearr(Atime,Pdays,Ptime)),
 (semesteru(Acourse,Sect,Atime,Afac, Aenroll) | 
    semesterg(Acourse,Sect,Atime,Afac, Aenroll)),
 courses(Acourse,Pcoursenum,Pcourse), write('<tr><td>'), write(Pfac),
 write('</td><td>'), write(Ptime), write('</td><td>'), write(Pdays),
 write('</td><td>'), write(Pcoursenum), write('-'), write(Sect),
 write('</td><td>'), write(Pcourse),
 write('</td></tr>'), nl, fail.

faculty_html(_) :- faculty(Afac,Pfac),
 write('<tr><td>'), write(Pfac), write('</td><td>'),
 (semester_faculty_html(Afac) | nl),
 write('</td></tr>'), nl, fail.

semester_faculty_html(Afac) :- 
 (semesteru(Acourse,Sect,Atime,Afac, Aenroll) | 
    semesterg(Acourse,Sect,Atime,Afac, Aenroll)),
 courses(Acourse,Pcoursenum,Pcourse),
 (timemwf(Atime,Pdays,Ptime) | timetr(Atime,Pdays,Ptime) |
     timearr(Atime,Pdays,Ptime)), 
 write(Pcoursenum), write('-'), write(Sect),
 write(', '), write(Ptime), write(' '), write(Pdays),
 write(' ('), write(Pcourse), write(')<br>'), nl, fail.


/*************************************************************************/
/********** Start of everything(_) ***************************************/

everything(_) :- season(Season), year(Year), revision(Revision),
   isorevision(Isorevision),  revision2(Revision2),
  announce(Announce),
write('<html>'), nl,
write('<head>'), nl,
write('   <title>Computer Science Schedule -- '),
   write(Season), write(' '), write(Year), write('</title>'), nl,
write('</head>'), nl,
write('<body bgcolor="#FFFFE8">'), nl,
write(' '), nl,
write('<center>'), nl,
write('<h2>'), nl,
write('Computer Science Schedule -- '),
   write(Season), write(' '), write(Year), write('<br>'), nl,
write('<i><font color="#FF0000">Preliminary</font> -- Arranged by'), nl,
write('Course</i></h2></center>'), nl,

write('<center>'), write(Announce), write('</center>'), nl,
write(' '), nl,
write('<center><table BORDER NOSAVE BGCOLOR="#E7E7E7"'), nl,
write('   BORDERCOLOR="222222">'), nl,
write('<tr BGCOLOR="#000000">'), nl,
write('<td ALIGN=CENTER COLSPAN="5"><b><font color="#FFFFFF" size=+1>'), nl,
write('   Undergraduate Courses, '),
   write(Season), write(' '), write(Year), write('</font></b></td>'), nl,
write('</tr>'), nl,
write(' '), nl,
write('<tr BGCOLOR="#000000">'), nl,
write('<th><b><font color="#FFFFFF">Number</font></b></th>'), nl,
write('<th><b><font color="#FFFFFF">Description</font></b></th>'), nl,
write('<th><b><font color="#FFFFFF">Days</font></b></th>'), nl,
write('<th><b><font color="#FFFFFF">Time</font></b></th>'), nl,
write('<th><b><font color="#FFFFFF">Instructor</font></b></th>'), nl,
write('</tr>'), nl,
write(' '), nl,
write('<!-  Undergraduate courses here --------------------------- ->'), nl,
  (semester_coursesu_html(_) | nl),

write('<tr BGCOLOR="#000000">'), nl,
write('<td ALIGN=CENTER COLSPAN="5"><b><font color="#FFFFFF" size=+1>'), nl,
write('   Graduate Courses, '),
   write(Season), write(' '), write(Year), write('</font></b></td>'), nl,
write('</tr>'), nl,
write(' '), nl,
write('<tr BGCOLOR="#000000">'), nl,
write('<th><b><font color="#FFFFFF">Number</font></b></th>'), nl,
write('<th><b><font color="#FFFFFF">Description</font></b></th>'), nl,
write('<th><b><font color="#FFFFFF">Days</font></b></th>'), nl,
write('<th><b><font color="#FFFFFF">Time</font></b></th>'), nl,
write('<th><b><font color="#FFFFFF">Instructor</font></b></th></tr>'), nl,
write(' '), nl,
write('<!-  Graduate courses here ------------------------------- ->'), nl,
    (semester_coursesg_html(_) | nl),

write(' '), nl,
write('</table></center>'), nl,
write(' '), nl,

/******************** Times **********************************************/

write('<center>'), nl,
write('<h2>'), nl,
write('Computer Science Schedule -- '),
   write(Season), write(' '), write(Year), write('<br>'), nl,
write('<i><font color="#FF0000">Preliminary</font> -- Arranged by Time<br>'), nl
,
write('(Only courses for majors)</i></h2></center>'), nl,
write(' '), nl,
write('<center><table BORDER BGCOLOR="#E7E7E7" BORDERCOLOR="222222" >'), nl,
write('<tr BGCOLOR="#000000">'), nl,
write('<td ALIGN=CENTER COLSPAN="3"><b><font color="#FFFFFF" size=+1>'), nl,
write('   Computer Science Courses, '),
   write(Season), write(' '), write(Year), write('</font></b></td></tr>'), nl,
write('<tr BGCOLOR="#000000">'), nl,
write('<td ALIGN=CENTER COLSPAN="3"><b><font color="#FFFFFF" size=+1>'), nl,
write('   <i>Classes meeting Monday, Wednesday, and/or '), nl,
write('         Friday</i></font></b></td>'), nl,
write('</tr>'), nl,
write(' '), nl,
write('<tr BGCOLOR="#000000">'), nl,
write('<th><b><font color="#FFFFFF">Time</font></b></th>'), nl,
write('<th><b><font color="#FFFFFF">Days</font></b></th>'), nl,
write('<th><b><font color="#FFFFFF">Course and Faculty</font></b></th>'), nl,
write('</tr>'), nl,
    (timesmwf(_) | nl),


write('<tr BGCOLOR="#000000">'), nl,
write('<td ALIGN=CENTER COLSPAN="3"><b><font color="#FFFFFF" size=+1>'), nl,
write('   <i>Classes meeting Tuesday, and/or Thursday</i></font></b></td>'), nl,

write('</tr>'), nl,
write(' '), nl,
write('<tr BGCOLOR="#000000">'), nl,
write('<th><b><font color="#FFFFFF">Time</font></b></th>'), nl,
write('<th><b><font color="#FFFFFF">Days</font></b></th>'), nl,
write('<th><b><font color="#FFFFFF">Course and Faculty</font></b></th>'), nl,
write('</tr>'), nl,
write(' '), nl,
write('<!-  Courses arranged by hours here, TR only ---------------  ->'), nl,
    (timestr(_) | nl),

write(' '), nl,
write('<tr BGCOLOR="#000000">'), nl,
write('<td ALIGN=CENTER COLSPAN="3"><b><font color="#FFFFFF" size=+1>'), nl,
write('   <i>Other classes</i></font></b></td>'), nl,
write('</tr>'), nl,
write(' '), nl,
write('<tr BGCOLOR="#000000">'), nl,
write('<th><b><font color="#FFFFFF">Time</font></b></th>'), nl,
write('<th><b><font color="#FFFFFF">Days</font></b></th>'), nl,
write('<th><b><font color="#FFFFFF">Course and Faculty</font></b></th>'), nl,
write('</tr>'), nl,
write(' '), nl,
write('<!-  Courses arranged by hours here, others  ---------------  ->'), nl,
    (timesarr(_) | nl),


write(' '), nl,
write('</table></center>'), nl,

write(' '), nl,

/******************** Instructors ******************************************/

write('<center>'), nl,
write('<h2>'), nl,
write('Computer Science Schedule -- '),
   write(Season), write(' '), write(Year), write('<br>'), nl,
write('<i><font color="#FF0000">Preliminary</font> -- Arranged by Instructor'),
nl,
write('  </i></h2></center>'), nl,
write(' '), nl,
write('<center><table BORDER BGCOLOR="#E7E7E7" BORDERCOLOR="222222" >'), nl,
write('<tr BGCOLOR="#000000">'), nl,
write('<td ALIGN=CENTER COLSPAN="2"><b><font color="#FFFFFF" size=+1>'), nl,
write('   Computer Science Courses, '),
   write(Season), write(' '), write(Year), write('</font></b></td>'), nl,
write('</tr>'), nl,
write(' '), nl,
write('<tr BGCOLOR="#000000">'), nl,
write('<th><b><font color="#FFFFFF">Faculty</font></b></th>'), nl,
write('<th><b><font color="#FFFFFF">Course Number, Time and Days 
  (Course Description)</font></b></th>'), nl,
write('</tr>'), nl,
write(' '), nl,
write('<!-  Courses arranged by faculty here  ->'), nl,
   (faculty_html(_) | nl),

write(' '), nl,
write('</table></center>'), nl,


/******************** Resources *******************************************/

write('<center>'), nl,
write('<h2>'), nl,
write('Computer Science Schedule -- '),
   write(Season), write(' '), write(Year), write('<br>'), nl,
write('<i><font color="#FF0000">Preliminary</font> -- Resources Required'), nl,
write('</i></h2></center>'), nl,
write(' '), nl,
write('<center><table BORDER BGCOLOR="#E7E7E7" BORDERCOLOR="222222" >'), nl,
write('<tr BGCOLOR="#000000">'), nl,
write('<td ALIGN=CENTER COLSPAN="3"><b><font color="#FFFFFF" size=+1>'), nl,
write('   Computer Science Courses, '),
   write(Season), write(' '), write(Year), write('</font></b></td></tr>'), nl,
write('<tr BGCOLOR="#000000">'), nl,
write('<td ALIGN=CENTER COLSPAN="3"><b><font color="#FFFFFF" size=+1>'), nl,
write('   <i>Classes meeting Monday, Wednesday, and/or '), nl,
write('         Friday</i></font></b></td>'), nl,
write('</tr>'), nl,
write(' '), nl,
write('<tr BGCOLOR="#000000">'), nl,
write('<th><b><font color="#FFFFFF">Time</font></b></th>'), nl,
write('<th><b><font color="#FFFFFF">Days</font></b></th>'), nl,
write('<th><b><font color="#FFFFFF">Course and Resource</font></b></th>'), nl,
write('</tr>'), nl,
    (resourcesmwf(_) | nl),


write('<tr BGCOLOR="#000000">'), nl,
write('<td ALIGN=CENTER COLSPAN="3"><b><font color="#FFFFFF" size=+1>'), nl,
write('   <i>Classes meeting Tuesday, and/or Thursday</i></font></b></td>'), nl,

write('</tr>'), nl,
write(' '), nl,
write('<tr BGCOLOR="#000000">'), nl,
write('<th><b><font color="#FFFFFF">Time</font></b></th>'), nl,
write('<th><b><font color="#FFFFFF">Days</font></b></th>'), nl,
write('<th><b><font color="#FFFFFF">Course and Resource</font></b></th>'), nl,
write('</tr>'), nl,
write(' '), nl,
write('<!-  Courses arranged by hours here, TR only ---------------  ->'), nl,
    (resourcestr(_) | nl),

write(' '), nl,
write('<tr BGCOLOR="#000000">'), nl,
write('<td ALIGN=CENTER COLSPAN="3"><b><font color="#FFFFFF" size=+1>'), nl,
write('   <i>Other classes</i></font></b></td>'), nl,
write('</tr>'), nl,
write(' '), nl,
write('<tr BGCOLOR="#000000">'), nl,
write('<th><b><font color="#FFFFFF">Time</font></b></th>'), nl,
write('<th><b><font color="#FFFFFF">Days</font></b></th>'), nl,
write('<th><b><font color="#FFFFFF">Course and Resource</font></b></th>'), nl,
write('</tr>'), nl,
write(' '), nl,
write('<!-  Courses arranged by hours here, others  ---------------  ->'), nl,
    (resourcesarr(_) | nl),


write(' '), nl,
write('</table></center>'), nl,

write(' '), nl,

write(' '), nl,
write('<p>'), nl,
write('<hr>'), nl,
write('<em> Revision date:</em> <b>'), write(Isorevision),
  write('</b>.<br>&nbsp;&nbsp;&nbsp;'), nl,
write('(Also known as <b>'), write(Revision), write('</b>, '), 
write('or even <b>'), write(Revision2),
write('</b>.<br>&nbsp;&nbsp;&nbsp;'), nl,
write('&nbsp;&nbsp;Please use '),
write('<a href="http://www.cs.utsa.edu/~wagner/date/">ISO 8601</a>, '), nl,
write('the International Standard Date and Time Notation.)'),
write('<hr>'), nl,
write(' '), nl,
write('</body>'), nl,
write('</html>'), nl.


/**************************************************************************/
/********** Start of everything_enroll(_) *********************************/

everything_enroll(_) :- season(Season), year(Year), revision(Revision),
  enroll(Enroll), isorevision(Isorevision), revision2(Revision2),
  announce(Announce),
write('<html>'), nl,
write('<head>'), nl,
write('   <title>Computer Science Schedule -- '),
   write(Season), write(' '), write(Year), write('</title>'), nl,
write('</head>'), nl,
write('<body bgcolor="#FFFFE8">'), nl,
write(' '), nl,
write('<center>'), nl,
write('<h2>'), nl,
write('Computer Science Schedule -- '),
   write(Season), write(' '), write(Year), write('</h2></center>'), nl,

write(Announce), nl,
write('<center><h2><i><font color="#FF0000">Preliminary</font> -- Arranged by'), nl,
write('Course</i><br>'), nl,

write('(Enrollment Figures as of '),
   write(Enroll), write(')</h2></center>'), nl,
write(' '), nl,
write('<center><table BORDER NOSAVE BGCOLOR="#E7E7E7"'), nl,
write('   BORDERCOLOR="222222">'), nl,
write('<tr BGCOLOR="#000000">'), nl,
write('<td ALIGN=CENTER COLSPAN="6"><b><font color="#FFFFFF" size=+1>'), nl,
write('   Undergraduate Courses, '),
   write(Season), write(' '), write(Year), write('</font></b></td>'), nl,
write('</tr>'), nl,
write(' '), nl,
write('<tr BGCOLOR="#000000">'), nl,
write('<th><b><font color="#FFFFFF">Number</font></b></th>'), nl,
write('<th><b><font color="#FFFFFF">Description</font></b></th>'), nl,
write('<th><b><font color="#FFFFFF">Days</font></b></th>'), nl,
write('<th><b><font color="#FFFFFF">Time</font></b></th>'), nl,
write('<th><b><font color="#FFFFFF">Instructor</font></b></th>'), nl,
write('<th><b><font color="#FFFFFF">Enroll</font></b></th>'), nl,
write('</tr>'), nl,
write(' '), nl,
write('<!-  Undergraduate courses here --------------------------- ->'), nl,
  (semester_coursesu_enroll_html(_) | nl),

write('<tr BGCOLOR="#000000">'), nl,
write('<td ALIGN=CENTER COLSPAN="6"><b><font color="#FFFFFF" size=+1>'), nl,
write('   Graduate Courses, '),
   write(Season), write(' '), write(Year), write('</font></b></td>'), nl,
write('</tr>'), nl,
write(' '), nl,
write('<tr BGCOLOR="#000000">'), nl,
write('<th><b><font color="#FFFFFF">Number</font></b></th>'), nl,
write('<th><b><font color="#FFFFFF">Description</font></b></th>'), nl,
write('<th><b><font color="#FFFFFF">Days</font></b></th>'), nl,
write('<th><b><font color="#FFFFFF">Time</font></b></th>'), nl,
write('<th><b><font color="#FFFFFF">Instructor</font></b></th>'), nl,
write('<th><b><font color="#FFFFFF">Enroll</font></b></th></tr>'), nl,
write(' '), nl,
write('<!-  Graduate courses here ------------------------------- ->'), nl,
    (semester_coursesg_enroll_html(_) | nl),

write(' '), nl,
write('</table></center>'), nl,
write(' '), nl,
write('<center>'), nl,
write('<h2>'), nl,
write('Computer Science Schedule -- '),
   write(Season), write(' '), write(Year), write('<br>'), nl,
write('<i><font color="#FF0000">Preliminary</font> -- Arranged by Time<br>'), nl
,
write('(Only courses for majors)</i></h2></center>'), nl,
write(' '), nl,
write('<center><table BORDER BGCOLOR="#E7E7E7" BORDERCOLOR="222222" >'), nl,
write('<tr BGCOLOR="#000000">'), nl,
write('<td ALIGN=CENTER COLSPAN="3"><b><font color="#FFFFFF" size=+1>'), nl,
write('   Computer Science Courses, '),
   write(Season), write(' '), write(Year), write('</font></b></td></tr>'), nl,
write('<tr BGCOLOR="#000000">'), nl,
write('<td ALIGN=CENTER COLSPAN="3"><b><font color="#FFFFFF" size=+1>'), nl,
write('   <i>Classes meeting Monday, Wednesday, and/or '), nl,
write('         Friday</i></font></b></td>'), nl,
write('</tr>'), nl,
write(' '), nl,
write('<tr BGCOLOR="#000000">'), nl,
write('<th><b><font color="#FFFFFF">Time</font></b></th>'), nl,
write('<th><b><font color="#FFFFFF">Days</font></b></th>'), nl,
write('<th><b><font color="#FFFFFF">Course and Faculty</font></b></th>'), nl,
write('</tr>'), nl,
    (timesmwf(_) | nl),


write('<tr BGCOLOR="#000000">'), nl,
write('<td ALIGN=CENTER COLSPAN="3"><b><font color="#FFFFFF" size=+1>'), nl,
write('   <i>Classes meeting Tuesday, and/or Thursday</i></font></b></td>'), nl,

write('</tr>'), nl,
write(' '), nl,
write('<tr BGCOLOR="#000000">'), nl,
write('<th><b><font color="#FFFFFF">Time</font></b></th>'), nl,
write('<th><b><font color="#FFFFFF">Days</font></b></th>'), nl,
write('<th><b><font color="#FFFFFF">Course and Faculty</font></b></th>'), nl,
write('</tr>'), nl,
write(' '), nl,
write('<!-  Courses arranged by hours here, TR only ---------------  ->'), nl,
    (timestr(_) | nl),

write(' '), nl,
write('<tr BGCOLOR="#000000">'), nl,
write('<td ALIGN=CENTER COLSPAN="3"><b><font color="#FFFFFF" size=+1>'), nl,
write('   <i>Other classes</i></font></b></td>'), nl,
write('</tr>'), nl,
write(' '), nl,
write('<tr BGCOLOR="#000000">'), nl,
write('<th><b><font color="#FFFFFF">Time</font></b></th>'), nl,
write('<th><b><font color="#FFFFFF">Days</font></b></th>'), nl,
write('<th><b><font color="#FFFFFF">Course and Faculty</font></b></th>'), nl,
write('</tr>'), nl,
write(' '), nl,
write('<!-  Courses arranged by hours here, others  ---------------  ->'), nl,
    (timesarr(_) | nl),


write(' '), nl,
write('</table></center>'), nl,

write(' '), nl,
write('<center>'), nl,
write('<h2>'), nl,
write('Computer Science Schedule -- '),
   write(Season), write(' '), write(Year), write('<br>'), nl,
write('<i><font color="#FF0000">Preliminary</font> -- Arranged by Instructor'),
nl,
write('  </i></h2></center>'), nl,
write(' '), nl,
write('<center><table BORDER BGCOLOR="#E7E7E7" BORDERCOLOR="222222" >'), nl,
write('<tr BGCOLOR="#000000">'), nl,
write('<td ALIGN=CENTER COLSPAN="2"><b><font color="#FFFFFF" size=+1>'), nl,
write('   Computer Science Courses, '),
   write(Season), write(' '), write(Year), write('</font></b></td>'), nl,
write('</tr>'), nl,
write(' '), nl,
write('<tr BGCOLOR="#000000">'), nl,
write('<th><b><font color="#FFFFFF">Faculty</font></b></th>'), nl,
write('<th><b><font color="#FFFFFF">Course Number, Time and Days 
  (Course Description)</font></b></th>'), nl,
write('</tr>'), nl,
write(' '), nl,
write('<!-  Courses arranged by faculty here  ->'), nl,
   (faculty_html(_) | nl),

write(' '), nl,
write('</table></center>'), nl,
write(' '), nl,
write('<p>'), nl,
write('<hr>'), nl,
write('<em> Revision date:</em> <b>'), write(Isorevision),
  write('</b>.<br>&nbsp;&nbsp;&nbsp;'), nl,
write('(Also known as <b>'), write(Revision), write('</b>, '), 
write('or even <b>'), write(Revision2),
write('</b>.<br>&nbsp;&nbsp;&nbsp;'), nl,
write('&nbsp;&nbsp;Please use '),
write('<a href="http://www.cs.utsa.edu/~wagner/date/">ISO 8601</a>, '), nl,
write('the International Standard Date and Time Notation.)'),
write('<hr>'), nl,
write(' '), nl,
write('</body>'), nl,
write('</html>'), nl.