1
Appendix F
PROLOG Source Code of the Application of Ontology of Concepts of Socio-Cultural
Time
%%%%%%%A Socio-Cultural Temporal Calendar Foundation for 2004 (Gregorian Calendar)%%%%%%%
%%%%%%%%%%%%%%%%%%%%granularity%%%%%%%%%%%%%%%%%%%%%%%%%%%
hour(rushHour).
hour(happyHour).
day(stValentinesDay).
day(halloween).
day(octoberfest).
day(pessah).
day(purim).
day(atatuerkYouthAndCommemorationDay).
day(feastofSugar).
day(fasching).
day(sukkot).
day(ernteDankTag).
day(mayDay).
day(goodFriday).
day(july4th_independenceDay).
week(fallSemester).
week(intersession).
month(ramadan).
%%%%%%%%%%%%%%%%%%%%%%%duration%%%%%%%%%%%%%%%%%%%%%%%%%%
twoHours(rushHour).
threeHours(happyHour).
oneDay(stValentinesDay).
oneDay(halloween).
oneDay(fasching).
oneDay(atatuerkYouthAndCommemorationDay).
oneDay(ernteDankTag).
oneDay(purim).
oneDay(mayDay).
oneDay(goodFriday).
oneDay(july4th_independenceDay).
threeDays(feastofSugar).
sixteenDays(octoberfest).
sixDays(pessah).
twoDays(sukkot).
2
eighteenWeeks(fallSemester).
threeWeeks(intersession).
oneMonth(ramadan).
%%%%%%%%%%%%%%%%%%%%%%%origin religions%%%%%%%%%%%%%%%%%%%%%%
c
hristian(stValentinesDay).
christian(ernteDankTag).
christian(fasching).
christian(goodFriday).
jewish(sukkot).
jewish(pessah).
jewish(purim).
islamic(feastofSugar).
islamic(ramadan).
%%%%%%%%%%%%%%%%%%%%%%%%%%origin nations%%%%%%%%%%%%%%%%%%%%
usAmerican(intersession).
usAmerican(halloween).
usAmerican(july4th_independenceDay).
german(octoberfest).
german(fasching).
german(mayDay).
german(ernteDankTag).
turkish(atatuerkYouthAndCommemorationDay).
turkish(feastofSugar).
turkish(ramadan).
israeli(sukkot).
israeli(pessah).
israeli(purim).
%%%%%%%%%%%%%%%%origin business life and education%%%%%%%%%%%%%%%%%%%%
businessLife(happyHour).
businessLife(rushHour).
higherEducation(fallSemester).
higherEducation(intersession).
%%%%%%%%%%calendar entries---Gregorian Calendar--2004%%%%%%%%%%%%%%%%%%%%%
february_14(stValentinesDay).
february_24(fasching).
march_7(purim).
april_06_april_12(pessah).
april_9(goodFriday).
may_19(atatuerkYouthAndCommemorationDay).
july_4(july4th_independenceDay).
august_02_august_17(intersession).
3
august_18_december_10(fallSemester).
september_18_october_30(octoberfest).
september_30_october_01(sukkot).
october_31(halloween).
october_03(ernteDankTag).
october_15_november_13(ramadan).
november_14_november_16(feastofSugar).
am8_am10(rushHour).
pm6_pm8(rushHour).
pm5_pm8(happyHour).
pm11_am01(happyHour).
%%%%%%%%%%%%%%%%%%%%%%rules%%%%%%%%%%%%%%%%%%%%%%%%%%%%
stValentinesDay(X) :- day(X),oneDay(X),christian(X),february_14(X).
octoberfest(X):- day(X),sixteenDays(X),german(X),september_18_october_30(X).
feastofSugar(X) :- day(X),threeDays(X),turkish(X),islamic(X),november_14_november_16(X).
rushHour(X) :- hour(X),twoHours(X),businessLife(X),am8_am10(X).
rushHour(X) :- hour(X),twoHours(X),businessLife(X),pm6_pm8(X).
halloween(X) :- day(X),oneDay(X),usAmerican(X),october_31(X).
pessah(X) :- day(X),sixDays(X),jewish(X),israeli(X),april_06_april_12(X).
purim(X) :- day(X),oneDay(X),jewish(X),israeli(X),march_7(X).
atatuerkYouthAndCommemorationDay(X) :- day(X),oneDay(X),turkish(X),may_19(X).
fasching(X) :- day(X),oneDay(X),christian(X),german(X),february_24(X).
sukkot(X) :- day(X),twoDays(X),jewish(X),israeli(X),september_30_october_01(X).
ernteDankTag(X) :- day(X),oneDay(X),christian(X),german(X),october_03(X).
intersession(X) :- week(X),threeWeeks(X),usAmerican(X),higherEducation(X),august_02_august_17(X).
fallSemester(X) :- week(X),eighteenWeeks(X),higherEducation(X),august_18_december_10(X).
ramadan(X):- month(X),oneMonth(X),islamic(X),turkish(X),october_15_november_13(X).
happyHour(X) :- hour(X),threeHours(X),businessLife(X),pm5_pm8(X).
happyHour(X):- hour(X),threeHours(X),businessLife(X),pm11_am01(X).
july4th_independenceDay(X):- day(X),oneDay(X),usAmerican(X),july_4(X).
goodFriday(X):- day(X),oneDay(X),christian(X),april_9(X).