% Christina Chan
% cs 239 Project 2

				%%%%%%%%%%%%%%%%%%
				% Just the Facts %
				%%%%%%%%%%%%%%%%%%


%
% Some Theatre Addresses
%

address(national, '10025 Lindbrook', '208-4366', '').

address(village, '948 Broxton', '208-5576', '').

address(bruin, '948 Broxton', '208-8998', '').

address(westwood, '1050 Gayley', '208- 7664', '').

address(regent, '1045 Broxton', '208-3259', '').

address(plaza, '1067 Glendon', '208-3097', '').

address(criterion, '1313 3rd Street Promenade', '395-1599', '').

address(avco_cinema, 'Wilshire at Westwood', '475-0711', '').

address(beverly_connection, 'La Cienega at Beverly Blvd', '659-5911', 
	'Credit card purchase call 757-4GEN').

address(coronet, '10889 Wellworth', '475-9441', '').

address(century_city, '10250 Santa Monica', '553-8900', '').

address(nuart, '11272 Santa Monica', '478-6379', '').

address(nuwilshire, '1314 Wilshire', '394-8099', '').

address(goldwyn, 'Westside Pavilion', '475-0202', '').

address(royal, '11523 Santa Monica', '477-5581', '').

address(music_hall, '9036 Wilshire', '274-6869', '').

address(fine_arts, '8556 Wilshire', '652-1330', '').

address(monica, '1332 2nd Street', '394-9741', '').


%
% Some Theatre Chains
%

chain({national, village, bruin, westwood, regent, plaza, criterion}, mann).

chain({avco_cinema, beverly_connection}, general_cinema).

chain({coronet}, united_artists).

chain({century_city}, amc).

chain({nuart, nuwilshire, goldwyn}, landmark).

chain({royal, music_hall, fine_arts, monica}, laemmle).


%
% Relative Theatre Distances
%

closer(bruin, village).

closer(village, regent).

closer(regent, westwood).

closer(westwood, plaza).

closer(plaza, national).

closer(national, avco_cinema).

closer(avco_cinema, coronet).

closer(coronet, nuart).

closer(nuart, royal).

closer(royal, century_city).

closer(century_city, goldwyn).

closer(goldwyn, music_hall).

closer(music_hall, fine_arts).

closer(fine_arts, beverly_connection).

closer(beverly_connection, criterion).

closer(criterion, monica).


%
% Current Movie Listings
%

listing(national, 'K2', daily, {15.00, 17.30, 20.00, 22.30}).

listing(national, 'K2', 'Sat-Mon mat', {12.30}).

listing(village, 'Lethal Weapons 3', daily, 
	{10.30, 13.30, 16.30, 19.30, 22.30}).

listing(village, 'Lethal Weapons 3', 'Fri-Sat late', {1.15}).

listing(bruin, 'Far and Away', daily, {12.30, 15.45, 19.00, 22.15, 1.15}).

listing(westwood, 'Casablanca', daily, {15.00, 17.30, 20.00, 22.30}).

listing(westwood, 'Casablanca', 'Sat-Mon mat', {12.30}).

listing(regent, 'The Player', daily, {13.30, 16.30, 19.30, 22.15}).

listing(plaza, 'Poison Ivy', daily, {13.15, 15.30, 17.45, 20.00, 22.15}).

listing(criterion, 'The Player', daily, {13.35, 16.20, 19.10, 20.00}).

listing(avco_cinema, 'Alien 3', daily, {11.30, 14.00, 16.45, 19.30, 22.15}).

listing(avco_cinema, 'Alien 3', 'Fri-Sat late', {0.45}).

listing(beverly_connection, 'City of Joy', daily, 
	{13.00, 16.00, 19.00, 22.00}).

listing(coronet, 'Basic Instinct', daily, {13.00, 16.00, 19.00, 22.00}).

listing(century_city, 'The Favor, the Watch & the Very Big Fish', daily,
	{11.50, 14.35, 17.25, 20.05, 22.25}).

listing(nuart, 'Monster in a Box', daily, {17.30, 19.30, 21.30}).

listing(nuart, 'Monster in a Box', 'Sat-Mon mat', {13.30, 15.30}).

listing(nuart, 'Spirit of 76', 'Fri', {0.00}).

listing(nuart, 'Rocky Horror Picture Show', 'Sat', {0.00}).

listing(nuwilshire, 'Bob Marley: Time Will Tell', daily, 
	{17.30, 19.30, 21.30}).

listing(goldwyn, 'The Water Dance', daily, 
	{12.15, 14.40, 17.05, 19.30, 21.55}).

listing(royal, 'Howards End', daily, {13.00, 16.00, 19.00, 22.00}).

listing(music_hall, 'Lovers', daily, {17.00, 19.30, 21.45}).

listing(music_hall, 'Lovers', 'Sat-Sun mat', {14.30}).

listing(fine_arts, 'Delicatessen', daily, {17.30, 19.45, 20.00}).

listing(fine_arts, 'Delicatessen', 'Sat-Sun mat', {13.00, 15.15}).

listing(monica, 'Raise the Red Lantern', daily, {16.30, 19.15, 21.45}).
 

%
% Movie Ratings
%

rating('Batman Returns', r, {action}).

rating('K2', r, {action, adventure}).

rating('Lethal Weapons 3', r, {action}).

rating('Far and Away', pg13, {drama}).

rating('Casablanca', pg, {classic, drama}).

rating('The Player', r, {comedy, drama}).

rating('Poison Ivy', r, {thriller}).

rating('Alien 3', r, {horror, scifi, thriller, suspense}).

rating('City of Joy', pg13, {drama}).

rating('Basic Instinct', r, {thriller, suspense}).

rating('The Favor, the Watch & the Very Big Fish', r, {comedy}).

rating('The Water Dance', na, {drama}).

rating('Howards End', na, {arthouse, drama}).

rating('Lovers', na, {drama}).

rating('Delicatessen', na, {comedy, drama}).

rating('Raise the Red Lantern', na, {drama}).


%
% Student Discount Ticket Prices
%

discount(general_cinema, 4.20).

discount(pacific, 3.60).

discount(laemmle, 3.60).

discount(united_artists, 4.20).

discount(amc, 4.35).

discount(cineplex_odeon, 4.50).