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,pricerange,'cheap');(_:search,type,'Restaurant'))
user
im looking for a cheap restaurant
request((_:search,area,?);(_:search,type,'Restaurant'))
system
What part of town do you have in mind?
inform((_:search,area,*);(_:search,type,'Restaurant'))
user
it doesnt matter
request((_:search,food,?);(_:search,type,'Restaurant'))
system
What kind of food would you like?
inform((_:search,food,'australian');(_:search,type,'Restaurant'))
user
australian food
canthelp((_:search,food,'australian');(_:search,type,'Restaurant'))
system
I'm sorry but there is no restaurant serving australian food
reqalts() inform((_:search,food,'european');(_:search,type,'Restaurant'))
user
what about european food
canthelp((_:search,food,'australian');(_:search,type,'Restaurant'))
system
I'm sorry but there is no restaurant serving australian food
inform((_:search,food,'european');(_:search,type,'Restaurant'))
user
what european food
inform((_:result,name,'charlie chan');(_:result,pricerange,'cheap');(_:result,type,'Restaurant'))
system
charlie chan is in the cheap price range
confirm((_:result,food,'european');(_:result,type,'Restaurant'))
user
is it european
inform((_:result,name,'nandos city centre');(_:result,pricerange,'cheap');(_:result,type,'Restaurant'))
system
nandos city centre is in the cheap price range
confirm((_:result,food,'european');(_:result,type,'Restaurant'))
user
does it serve european type food
inform((_:result,name,'nandos city centre');(_:result,type,'Restaurant'))
system
nandos city centre is a great restaurant
request((_:result,address,?);(_:result,type,'Restaurant'))
user
whats the address
inform((_:result,name,'nandos city centre');(_:result,type,'Restaurant'))
system
nandos city centre is a great restaurant
request((_:result,address,?);(_:result,type,'Restaurant'))
user
whats the address
inform((_:result,address,'33-34 saint andrews street');(_:result,name,'nandos city centre');(_:result,type,'Restaurant'))
system
Sure , nandos city centre is on 33-34 Saint Andrews Street
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
and whats the phone number
inform((_:result,name,'nandos city centre');(_:result,phone,'01223 327908');(_:result,type,'Restaurant'))
system
The phone number of nandos city centre is 01223 327908 .
thanks() bye()
user
thank you good bye
_:system greeted _:user
_:search pricerange cheap
_:search type Restaurant
_:system greeted _:user
_:search pricerange cheap
_:search area *
_:search type Restaurant
_:system greeted _:user
_:search pricerange cheap
_:search area *
_:search food australian
_:search type Restaurant
_:system greeted _:user
_:search pricerange cheap
_:search area *
_:system canthelp _:search/951b9d1d
_:search/951b9d1d food australian
_:search/951b9d1d type Restaurant
_:user inquired _:system
_:search food european
_:search type Restaurant
_:system greeted _:user
_:search pricerange cheap
_:search area *
_:system canthelp _:search/951b9d1d
_:search/951b9d1d food australian
_:search/951b9d1d type Restaurant
_:user inquired _:system
_:system canthelp _:search/8d2aa3a6
_:search/8d2aa3a6 food australian
_:search/8d2aa3a6 type Restaurant
_:search food european
_:search type Restaurant
_:system greeted _:user
_:search pricerange cheap
_:search area *
_:system canthelp _:search/951b9d1d
_:search/951b9d1d food australian
_:search/951b9d1d type Restaurant
_:user inquired _:system
_:system canthelp _:search/8d2aa3a6
_:search/8d2aa3a6 food australian
_:search/8d2aa3a6 type Restaurant
_:search food european
_:search type Restaurant
_:result name charlie chan
_:result pricerange cheap
_:result food european
_:result type Restaurant
_:system greeted _:user
_:search pricerange cheap
_:search area *
_:system canthelp _:search/951b9d1d
_:search/951b9d1d food australian
_:search/951b9d1d type Restaurant
_:user inquired _:system
_:system canthelp _:search/8d2aa3a6
_:search/8d2aa3a6 food australian
_:search/8d2aa3a6 type Restaurant
_:search food european
_:search type Restaurant
_:result name nandos city centre
_:result pricerange cheap
_:result food european
_:result type Restaurant
_:system greeted _:user
_:search pricerange cheap
_:search area *
_:system canthelp _:search/951b9d1d
_:search/951b9d1d food australian
_:search/951b9d1d type Restaurant
_:user inquired _:system
_:system canthelp _:search/8d2aa3a6
_:search/8d2aa3a6 food australian
_:search/8d2aa3a6 type Restaurant
_:search food european
_:search type Restaurant
_:result pricerange cheap
_:result food european
_:result name nandos city centre
_:result type Restaurant
_:result address ?
_:system greeted _:user
_:search pricerange cheap
_:search area *
_:system canthelp _:search/951b9d1d
_:search/951b9d1d food australian
_:search/951b9d1d type Restaurant
_:user inquired _:system
_:system canthelp _:search/8d2aa3a6
_:search/8d2aa3a6 food australian
_:search/8d2aa3a6 type Restaurant
_:search food european
_:search type Restaurant
_:result pricerange cheap
_:result food european
_:result address ?
_:result name nandos city centre
_:result type Restaurant
_:system greeted _:user
_:search pricerange cheap
_:search area *
_:system canthelp _:search/951b9d1d
_:search/951b9d1d food australian
_:search/951b9d1d type Restaurant
_:user inquired _:system
_:system canthelp _:search/8d2aa3a6
_:search/8d2aa3a6 food australian
_:search/8d2aa3a6 type Restaurant
_:search food european
_:search type Restaurant
_:result pricerange cheap
_:result food european
_:result address 33-34 saint andrews street
_:result name nandos city centre
_:result type Restaurant
_:result phone ?
_:system greeted _:user
_:search pricerange cheap
_:search area *
_:system canthelp _:search/951b9d1d
_:search/951b9d1d food australian
_:search/951b9d1d type Restaurant
_:user inquired _:system
_:system canthelp _:search/8d2aa3a6
_:search/8d2aa3a6 food australian
_:search/8d2aa3a6 type Restaurant
_:search food european
_:search type Restaurant
_:result pricerange cheap
_:result food european
_:result address 33-34 saint andrews street
_:result name nandos city centre
_:result phone 01223 327908
_:result type Restaurant
_:user thanked _:system
_:user dismissed _:system