hello()
system
Hello , welcome to the Cambridge restaurant system? You can ask for restaurants by area , price range or food type . How may I help you?
affirm() inform((_:search,area,'north');(_:search,type,'Restaurant'))
user
uh yes i need the north part of town
request((_:search,food,?);(_:search,type,'Restaurant'))
system
What kind of food would you like?
inform((_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
uh cheap restaurant
select((_:result,pricerange,'cheap');(_:result,pricerange,'moderate'))
system
Sorry would you like something in the cheap price range or in the moderate price range
inform((_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
cheap
inform((_:result,area,'north');(_:result,name,'royal spice');(_:result,pricerange,'cheap');(_:result,type,'Restaurant'))
system
royal spice is a nice place in the north of town and the prices are cheap
request((_:result,food,?);(_:result,type,'Restaurant'))
user
okay what kind of food
inform((_:result,food,'indian');(_:result,name,'royal spice');(_:result,type,'Restaurant'))
system
royal spice serves indian food
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
okay can i get the phone number
inform((_:result,name,'royal spice');(_:result,type,'Restaurant'))
system
royal spice is a great restaurant
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
uh phone number
inform((_:result,name,'royal spice');(_:result,phone,'01733 553355');(_:result,type,'Restaurant'))
system
The phone number of royal spice is 01733 553355 .
bye()
user
okay thank you and good bye
_:system greeted _:user
_:search area north
_:search type Restaurant
_:system greeted _:user
_:search area north
_:search food ?
_:search pricerange cheap
_:search type Restaurant
_:system greeted _:user
_:search area north
_:search food ?
_:result pricerange cheap
_:result pricerange moderate
_:search pricerange cheap
_:search type Restaurant
_:system greeted _:user
_:search area north
_:search food ?
_:search pricerange cheap
_:search type Restaurant
_:result area north
_:result name royal spice
_:result pricerange cheap
_:result type Restaurant
_:result food ?
_:system greeted _:user
_:search area north
_:search food ?
_:search pricerange cheap
_:search type Restaurant
_:result area north
_:result pricerange cheap
_:result food indian
_:result name royal spice
_:result type Restaurant
_:result phone ?
_:system greeted _:user
_:search area north
_:search food ?
_:search pricerange cheap
_:search type Restaurant
_:result area north
_:result pricerange cheap
_:result food indian
_:result phone ?
_:result name royal spice
_:result type Restaurant
_:system greeted _:user
_:search area north
_:search food ?
_:search pricerange cheap
_:search type Restaurant
_:result area north
_:result pricerange cheap
_:result food indian
_:result name royal spice
_:result phone 01733 553355
_:result type Restaurant
_:user dismissed _:system