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?
inform((_:search,food,'swiss');(_:search,type,'Restaurant'))
user
swiss food
request((_:search,area,?);(_:search,type,'Restaurant'))
system
What part of town do you have in mind?
inform((_:search,area,*);(_:search,type,'Restaurant'))
user
any
inform((_:result,area,'centre');(_:result,name,'efes restaurant');(_:result,type,'Restaurant'))
system
efes restaurant is in the centre part of town .
request((_:result,address,?);(_:result,type,'Restaurant'))
user
address
inform((_:result,name,'efes restaurant');(_:result,type,'Restaurant'))
system
efes restaurant is a great restaurant
request((_:result,address,?);(_:result,type,'Restaurant'))
user
address
inform((_:result,address,'king street city centre');(_:result,name,'efes restaurant');(_:result,type,'Restaurant'))
system
Sure , efes restaurant is on King Street City Centre
thanks() bye()
user
thank you good bye
_:system greeted _:user
_:search food swiss
_:search type Restaurant
_:system greeted _:user
_:search food swiss
_:search area *
_:search type Restaurant
_:system greeted _:user
_:search food swiss
_:search area *
_:search type Restaurant
_:result area centre
_:result name efes restaurant
_:result type Restaurant
_:result address ?
_:system greeted _:user
_:search food swiss
_:search area *
_:search type Restaurant
_:result area centre
_:result address ?
_:result name efes restaurant
_:result type Restaurant
_:system greeted _:user
_:search food swiss
_:search area *
_:search type Restaurant
_:result area centre
_:result address king street city centre
_:result name efes restaurant
_:result type Restaurant
_:user thanked _:system
_:user dismissed _:system