tag(1, "Montag").
tag(2, "Dienstag").
tag(3, "Mittwoch").
tag(4, "Donnerstag").
tag(5, "Freitag").

zeit(1, "8:00-9:15" ).
zeit(2, "9:30-10:45" ).
zeit(3, "11:00-12:15").
zeit(4, "14:00-15:15").
zeit(5, "15:30-16:45").
zeit(6, "17:00-18:15").

raum(1, 60, [tafel, beamer], "HS1").
raum(2,  200, [tafel, tafel, chemie], "HS2").
raum(3, 120, [tafel, chemie], "HS3").
raum(4, 120, [tafel, beamer, chemie], "HS4").
raum(5, 150, [tafel,beamer,audio, video], "HS5").
raum(6, 200, [tafel,beamer], "HS6").

teilnehmer(ii1,10).
teilnehmer(ii2,6).
teilnehmer(ii3,5).
teilnehmer(ii4,6).
teilnehmer(ii5,4).
teilnehmer(ii6,5).
teilnehmer(ii7,5).
teilnehmer(ii8,6).
teilnehmer(wi1,20).
teilnehmer(wi2,12).
teilnehmer(wi3,10).
teilnehmer(wi4,11).
teilnehmer(wi5,9).
teilnehmer(wi6,10).
teilnehmer(wi7,11).
teilnehmer(wi8,9).

teilnehmer(mi1,25).
teilnehmer(mi2,12).
teilnehmer(mi3,11).
teilnehmer(mi4,10).
teilnehmer(mi5,9).
teilnehmer(mi6,9).
teilnehmer(mi7,9).
teilnehmer(mi8,9).

teilnehmer(di1,20).
teilnehmer(di2,10).
teilnehmer(di3,9).
teilnehmer(di4,8).
teilnehmer(di5,9).
teilnehmer(di6,9).
teilnehmer(di7,9).
teilnehmer(di8,8).
teilnehmer(pi1,6).
teilnehmer(pi2,4).
teilnehmer(pi3,5).
teilnehmer(pi4,4).
teilnehmer(pi5,3).
teilnehmer(pi6,4).
teilnehmer(pi7,4).
teilnehmer(pi8,4).
teilnehmer(ui1,10).
teilnehmer(ui2,9).
teilnehmer(ui3,8).
teilnehmer(ui4,9).
teilnehmer(ai1,10).
teilnehmer(ai2,9).
teilnehmer(ai3,8).
teilnehmer(ai4,8).
teilnehmer(ea1,6).
teilnehmer(ea2,4).
teilnehmer(ea3,4).
teilnehmer(ea4,3).
teilnehmer(ea5,4).
teilnehmer(ia1,10).
teilnehmer(ia2,7).
teilnehmer(ia3,6).
teilnehmer(ia4,6).
teilnehmer(ia5,7).
teilnehmer(pa1,5).
teilnehmer(pa2,3).
teilnehmer(pa3,4).
teilnehmer(pa4,3).
teilnehmer(pa5,3).
teilnehmer(ha, 0).
teilnehmer(si, 0).
teilnehmer(sc, 0).
teilnehmer(pt, 0).
teilnehmer(klk, 0).
teilnehmer(ahr, 0).
teilnehmer(al, 0).
teilnehmer(an, 0).
teilnehmer(bew, 0).
teilnehmer(bi, 0).
teilnehmer(bd, 0).
teilnehmer(cho, 0).
teilnehmer(gie, 0).
teilnehmer(glu, 0).
teilnehmer(hai, 0).
teilnehmer(goe, 0).
teilnehmer(pol, 0).
teilnehmer(su, 0).
teilnehmer(jac, 0).
teilnehmer(kl, 0).
teilnehmer(hi, 0).
teilnehmer(kr, 0).
teilnehmer(ue, 0).
teilnehmer(wink, 0).
teilnehmer(hn, 0).
teilnehmer(hs, 0).
teilnehmer(sb, 0).
teilnehmer(gr, 0).
teilnehmer(br, 0).
teilnehmer(pd, 0).
teilnehmer(wol, 0).
teilnehmer(sti, 0).
teilnehmer(wruk, 0).
teilnehmer(di, 0).
teilnehmer(wen, 0).
teilnehmer(gla, 0).
teilnehmer(franz, 0).
teilnehmer(klickow, 0).
teilnehmer(klb, 0).
teilnehmer(krueger, 0).
teilnehmer(op, 0).
teilnehmer(str, 0).
teilnehmer(pk, 0).
teilnehmer(rb, 0).
teilnehmer(sw, 0).
teilnehmer(sed, 0).
teilnehmer(sm, 0).
teilnehmer(stach, 0).
teilnehmer(steinm, 0).
teilnehmer(st, 0).
teilnehmer(tern, 0).
teilnehmer(theel, 0).
teilnehmer(wd, 0).
teilnehmer(wal, 0).

veranstaltung(analysis1_a, [pi1,ii1,di1,ha],[tafel]).
veranstaltung(analysis1_a_ueb,[pi1,ii1,di1,ha],[tafel]).
veranstaltung(analysis1_b_ueb, [wi1,mi1,ha], [tafel]).
veranstaltung(analysis1_b_ueb, [wi1,mi1,ha], [tafel]).
veranstaltung(gdp, [wi1,ii1,mi1,si], [tafel]).
veranstaltung(oop , [wi4,wi5,wi6,mi4,ii4,ii5,ii6,si], [tafel, beamer]).
veranstaltung(unix_und_internet, [wi3,wi4,ii3,ii4,mi3,si], [tafel, beamer]).
veranstaltung(unix_und_internet_ia, [ia3,ia5,si], [tafel, beamer]).
veranstaltung(expertensysteme, [wi6,wi7,ii6,si], [tafel, beamer]).
veranstaltung(marketing, [wi3,wi4,mi4,di3,ai1,sc], [tafel]).
veranstaltung(service_mngmt, [wi5,wi6,ai1,ai3,sc], [tafel]).
veranstaltung(multimedia_seminar, [mi4,sc], [tafel]).
veranstaltung(chemie, [pi1,pi2,pa1,pt], [tafel, chemie]).
veranstaltung(physik_chemie, [pi5,pi6,pt], [tafel, chemie]).
veranstaltung(werkstoffkunde, [pi5,pi6,di3,pa5,ea5,pt], [tafel, chemie]).
veranstaltung(umweltanalytik_ing, [di5,pi6,pi7,pt], [tafel, chemie]).
veranstaltung(umweltanalytik_ass, [pa5,ea5,pt], [tafel, chemie]).
veranstaltung(umweltchemie, [di5,pi5,pi6,pt], [tafel, chemie]).
veranstaltung(rechnernetze, [ii3,ii4,ii5,klk],[tafel]).
veranstaltung(elektrotechnik, [ia1,ea1,pa1,al],[tafel]).
veranstaltung(elehre_2, [pi3,an],[tafel]).
veranstaltung(atom_u_kernphysik, [pi3,pi4,pi5,pa5,an],[tafel]).
veranstaltung(mechanik_3, [pa3,an],[tafel]).
veranstaltung(mechanik_2, [pa1,ea1,ia1,an],[tafel]).
veranstaltung(fertigungstechnik, [pi5,pi6,di5,ii3,ii4,ii6,an],[tafel]).
veranstaltung(duenne_schichten, [pi6,an],[tafel]).
veranstaltung(commercial_english,[wi2,bew],[tafel]).
veranstaltung(buisiness_english, [wi3,bew],[tafel]).
veranstaltung(technical_english, [ai1,di3,bew],[tafel]).
veranstaltung(digital_technik_1,[ia1,bi,bd], [tafel]).
veranstaltung(elektrotechnik_1, [ea1,pa1,ia1,bi],[tafel]).
veranstaltung(mathe_1, [ia1,ea1,pa1,bd],[tafel]).
veranstaltung(numa, [ii2,ii3,bd], [tafel]).
veranstaltung(programmierung_bd,[ea1,pa1,bd], [tafel]).
veranstaltung(uController, [pi3,pi4,bd], [tafel]).
veranstaltung(gemeinschaftskunde,[pa3,ea3,ia3,cho],[tafel]).
veranstaltung(makrooekonomie,[ai1,gie],[tafel]).
veranstaltung(tech_av_medien, [mi4,jac],[tafel, audio, video]).
veranstaltung(prog_sprach_1, [ii1,mi1,wi1,hs], [tafel]).
veranstaltung(prog_sprach_2, [di3,ii2,wi2,ia3,hs], [tafel]).
veranstaltung(sw_engineering, [ai1,ii3,ii4,ia3,mi3,mi4,wi2,wi3,hs], [tafel]).
veranstaltung(systemanalyse, [ii6,ii7,mi4,wi5,wi6,wi7,hs], [tafel]).
veranstaltung(or_2, [wi4,wi5,wi6,di5,ai3,gr],[tafel, beamer]).
veranstaltung(statistik_2, [wi2,wi3,wi4,di3,ai3,gr],[tafel]).
veranstaltung(datenbanken,  [di5,ai1,ia3,gr], [tafel]).
veranstaltung(datenbanken_1,[di5,ii4,ii5,mi3,mi4,wi3,wi4,wi5,gr],[tafel]).
veranstaltung(analysis_2,[pi2,ii2,br],[tafel]).
veranstaltung(analysis_2_ueb, [pi2,ii2,br],[tafel]).
veranstaltung(akustik, [pi3,pa3,pa5,br],[tafel]).
veranstaltung(vektorrechnung, [pa1,ia1,ea1,br],[tafel]).
veranstaltung(lin_Alg, [pa3,ea3,ia3,br],[tafel]).
veranstaltung(lin_Alg_ueb, [pa3,ea3,ia3,br],[tafel]).
veranstaltung(finanzmathe, [ai1,di3,wi1,wi2,br],[tafel]).
veranstaltung(optikFarbeAkustik,[mi1,br,pd],[tafel]).
veranstaltung(gundl_mediengest, [mi1,wink],[tafel]).
veranstaltung(gestaltungstech, [mi1,wink],[tafel]).
veranstaltung(gundl_franz ,[di1,franz],[tafel]).
veranstaltung(wi_Französisch,[di3,franz],[tafel]).
veranstaltung(patentwesen,[pi7,pi8,ii7,ii8,klickow],[tafel]).
veranstaltung(computergraphik,[mi4,ii5,ii6,klb],[tafel]).
veranstaltung(elektronik_1, [ii3,ii4,pi4,pi5,pk],[tafel]).
veranstaltung(elektronik1_mi,[mi1,pk], [tafel]).
veranstaltung(rechnungswesen1a, [wi1,wi3,wi4,rb], [tafel]).
veranstaltung(unternehmensf,  [di5,mi4,wi6,rb], [tafel]).
veranstaltung(proj_Mngmnt, [di5,mi4,pi6,wi6,ai3,rb],[tafel]).
veranstaltung(medienmärkte, [mi3,rb], [tafel]).
veranstaltung(unternehmensf_ueb, [di5,mi4,wi6,rb], [tafel]).
veranstaltung(rechnungswesen1b, [di1,ai1,mi3,rb], [tafel]).
veranstaltung(bwl, [ai1,di1,ii5,ii6,ii7,wi1,ea3,pa3,sw],[tafel]).
veranstaltung(banking_finance,  [wi5,wi6,ai3,sw], [tafel]).
veranstaltung(decision_support_syst,[wi5,wi6,ai3,sw], [tafel]).
veranstaltung(deutsch_FHR_3Sem,[pa3,ia3,ea3,sed],[tafel]).
veranstaltung(deutsch_FHR_5Sem,[pa5,ia5,ea5,sed],[tafel]).
veranstaltung(ess_engl_a,[ai1,di1,sm],[tafel]).
veranstaltung(ess_engl_b,[wi1,sm], [tafel]).
veranstaltung(dig_druckvorst,[mi3,stach],[tafel]).
veranstaltung(regeltech_a, [di5,pi5,pi6,ii5,ii6,st],[tafel,beamer]).
veranstaltung(regeltech_b, [pi5,pi6,ii5,ii6,st], [tafel,beamer]).
veranstaltung(ueb_Regeltech, [di5,pi5,pi6,ii5,ii6,st],[tafel,beamer]).
veranstaltung(elektrotech_1, [di1,pi1,ii1,ii2,st], [tafel]).
veranstaltung(elektrotech_2a, [di3,pi3,ii3,st], [tafel]).
veranstaltung(elektrotech_2b, [ii3,st], [tafel]).
veranstaltung(el_Messtech, [pi5,ii3,ii4,ii5,st], [tafel]).
veranstaltung(dig_kommunikation,[ii3,ii4,mi3,st], [tafel,beamer]).
veranstaltung(mech_fluid_schwing,[pi1,su], [tafel]).
veranstaltung(tm_statik, [pi2,pi3,pi4,su], [tafel]).
veranstaltung(waerme2, [pi3,pi4,su], [tafel]).
veranstaltung(vakuum, [pi7,pi8,pa5,di5,su],[tafel]).
veranstaltung(einf_physik, [ii1,di1,su], [tafel]).
veranstaltung(energie_technik, [ui4,su], [tafel]).
veranstaltung(patente, [pi7,pi8,ii7,ii8,su],[tafel]).
veranstaltung(medienrecht, [mi3,mi4,tern], [tafel]).
veranstaltung(edv_1, [ii1,wi1,mi1,ue], [tafel]).
veranstaltung(edv_2, [ii2,ii3,wi2,wi3,mi3,ue],[tafel]).
veranstaltung(betriebssysteme,[ii4,ii5,wi4,wi5,ia5,ue],[tafel]).
veranstaltung(robotik, [ii4,ii5,ii6,ue], [tafel]).
veranstaltung(upHW, [ii5,ii6,ii7,ii8,ue], [tafel]).
veranstaltung(journalismus,[mi3,wal],[tafel]).
veranstaltung(grundl_tech_sys,[di1,pi1,pi2,pa3,wd],[tafel]).
veranstaltung(konstruktion_2,[pi4,pi5,wd], [tafel]).
veranstaltung(fertigungstech_2,[di5,wd], [tafel]).