hello()
system
Hello , welcome to the Cambridge restaurant system? You can ask for restaurants by area , price range or food type .
user
noise
request((_:search,food,?);(_:search,type,'Restaurant'))
system
What kind of food would you like?
user
singapore food
inform((_:result,food,'korean');(_:result,name,'little seoul');(_:result,type,'Restaurant'))
system
little seoul serves korean food .
inform((_:search,area,'centre');(_:search,type,'Restaurant'))
user
center part of town
inform((_:result,area,'centre');(_:result,food,'korean');(_:result,name,'little seoul');(_:result,type,'Restaurant'))
system
little seoul is a nice restaurant in the centre of town serving korean food
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
phone number
reqmore()
system
Can I help you with anything else?
request((_:result,pricerange,?);(_:result,type,'Restaurant'))
user
price range
inform((_:result,name,'little seoul');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
little seoul is in the expensive price range
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
phone number
inform((_:result,name,'little seoul');(_:result,phone,'01223 308681');(_:result,type,'Restaurant'))
system
The phone number of little seoul is 01223 308681 .
thanks() bye()
user
thank you good bye
_:system greeted _:user
_:system greeted _:user
_:search food ?
_:search type Restaurant
_:system greeted _:user
_:search food ?
_:result food korean
_:result name little seoul
_:result type Restaurant
_:search area centre
_:search type Restaurant
_:system greeted _:user
_:search food ?
_:search area centre
_:search type Restaurant
_:result area centre
_:result food korean
_:result name little seoul
_:result type Restaurant
_:result phone ?
_:system greeted _:user
_:search food ?
_:search area centre
_:search type Restaurant
_:result area centre
_:result food korean
_:result name little seoul
_:result type Restaurant
_:result phone ?
_:system inquired _:user
_:result pricerange ?
_:system greeted _:user
_:search food ?
_:search area centre
_:search type Restaurant
_:result area centre
_:result food korean
_:result phone ?
_:system inquired _:user
_:result name little seoul
_:result pricerange expensive
_:result type Restaurant
_:system greeted _:user
_:search food ?
_:search area centre
_:search type Restaurant
_:result area centre
_:result food korean
_:system inquired _:user
_:result pricerange expensive
_:result name little seoul
_:result phone 01223 308681
_:result type Restaurant
_:user thanked _:system
_:user dismissed _:system