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?
user
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 type
request((_:search,area,?);(_:search,type,'Restaurant'))
system
What part of town do you have in mind?
inform((_:search,area,*);(_:search,type,'Restaurant'))
user
any part
confirm((_:search,area,*);(_:search,type,'Restaurant'))
system
Ok , a restaurant in any part of town is that right?
affirm()
user
yes
request((_:search,food,?);(_:search,type,'Restaurant'))
system
What kind of food would you like?
inform((_:search,food,'french');(_:search,type,'Restaurant'))
user
french
confirm((_:search,food,'french');(_:search,type,'Restaurant'))
system
You are looking for a french restaurant right?
affirm()
user
yes
inform((_:result,food,'french');(_:result,name,'cote');(_:result,type,'Restaurant'))
system
cote serves french food
request((_:result,address,?);(_:result,type,'Restaurant'))
user
address
inform((_:result,name,'cote');(_:result,type,'Restaurant'))
system
cote is a great restaurant
request((_:result,pricerange,?);(_:result,type,'Restaurant'))
user
price range
inform((_:result,name,'cote');(_:result,type,'Restaurant'))
system
cote is a great restaurant
inform((_:search,name,*);(_:search,type,'Restaurant')) request((_:result,address,?);(_:result,type,'Restaurant'))
user
so i dont care whats the address
inform((_:result,address,'bridge street city centre');(_:result,name,'cote');(_:result,type,'Restaurant'))
system
Sure , cote is on Bridge Street City Centre
request((_:result,area,?);(_:result,type,'Restaurant'))
user
what area of town is it
inform((_:result,area,'centre');(_:result,name,'cote');(_:result,type,'Restaurant'))
system
cote is a nice place in the centre of town
bye()
user
alright thank you good bye
_:system greeted _:user
_:system greeted _:user
_:search area *
_:search type Restaurant
_:system greeted _:user
_:search area *
_:search type Restaurant
_:system greeted _:user
_:search area *
_:search type Restaurant
_:system greeted _:user
_:search area *
_:search food french
_:search type Restaurant
_:system greeted _:user
_:search area *
_:search food french
_:search type Restaurant
_:system greeted _:user
_:search area *
_:search food french
_:search type Restaurant
_:result food french
_:result name cote
_:result type Restaurant
_:result address ?
_:system greeted _:user
_:search area *
_:search food french
_:search type Restaurant
_:result food french
_:result address ?
_:result name cote
_:result type Restaurant
_:result pricerange ?
_:system greeted _:user
_:search area *
_:search food french
_:result food french
_:result address ?
_:result pricerange ?
_:result name cote
_:result type Restaurant
_:search name *
_:search type Restaurant
_:system greeted _:user
_:search area *
_:search food french
_:result food french
_:result pricerange ?
_:search name *
_:search type Restaurant
_:result address bridge street city centre
_:result name cote
_:result type Restaurant
_:result area ?
_:system greeted _:user
_:search area *
_:search food french
_:result food french
_:result pricerange ?
_:search name *
_:search type Restaurant
_:result address bridge street city centre
_:result area centre
_:result name cote
_:result type Restaurant
_:user dismissed _:system