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
im looking
request((_:search,food,?);(_:search,type,'Restaurant'))
system
What kind of food would you like?
user
or
inform((_:result,name,'hotel du vin and bistro');(_:result,type,'Restaurant'))
system
hotel du vin and bistro is a great restaurant
inform((_:search,food,'greek');(_:search,type,'Restaurant'))
user
greek food
canthelp((_:search,food,'greek');(_:search,type,'Restaurant'))
system
I am sorry but there is no greek restaurant that matches your request
reqalts() inform((_:search,food,'european');(_:search,type,'Restaurant'))
user
okay what about european
inform((_:result,food,'indian');(_:result,name,'curry garden');(_:result,type,'Restaurant'))
system
curry garden serves indian food .
reqalts() inform((_:search,food,'european');(_:search,type,'Restaurant'))
user
what about european
inform((_:result,food,'european');(_:result,name,'michaelhouse cafe');(_:result,type,'Restaurant'))
system
michaelhouse cafe serves european food .
request((_:result,address,?);(_:result,type,'Restaurant'))
user
what is the address
inform((_:result,name,'michaelhouse cafe');(_:result,phone,'01223 309147');(_:result,type,'Restaurant'))
system
The phone number of michaelhouse cafe is 01223 309147 .
thanks() bye()
user
thank you good bye
_:system greeted _:user
_:system greeted _:user
_:search food ?
_:search type Restaurant
_:system greeted _:user
_:result name hotel du vin and bistro
_:result type Restaurant
_:search food greek
_:search type Restaurant
_:system greeted _:user
_:result name hotel du vin and bistro
_:result type Restaurant
_:system canthelp _:search/fd06ef86
_:search/fd06ef86 food greek
_:search/fd06ef86 type Restaurant
_:user inquired _:system
_:search food european
_:search type Restaurant
_:system greeted _:user
_:system canthelp _:search/fd06ef86
_:search/fd06ef86 food greek
_:search/fd06ef86 type Restaurant
_:result food indian
_:result name curry garden
_:result type Restaurant
_:user inquired _:system
_:search food european
_:search type Restaurant
_:system greeted _:user
_:system canthelp _:search/fd06ef86
_:search/fd06ef86 food greek
_:search/fd06ef86 type Restaurant
_:user inquired _:system
_:search food european
_:search type Restaurant
_:result food european
_:result name michaelhouse cafe
_:result type Restaurant
_:result address ?
_:system greeted _:user
_:system canthelp _:search/fd06ef86
_:search/fd06ef86 food greek
_:search/fd06ef86 type Restaurant
_:user inquired _:system
_:search food european
_:search type Restaurant
_:result food european
_:result address ?
_:result name michaelhouse cafe
_:result phone 01223 309147
_:result type Restaurant
_:user thanked _:system
_:user dismissed _:system