inform((_:search,area,'centre');(_:search,food,'korean');(_:search,type,'Restaurant'))
user
Can I get a korean restaurant in the town centre ?
inform((_:result,area,'centre');(_:result,name,'Little Seoul');(_:result,type,'Restaurant'))
system
Little Seoul is located in the town centre
inform((_:search,name,'little seoul');(_:search,type,'Restaurant')) request((_:result,address,?);(_:result,phone,?);(_:result,postcode,?);(_:result,type,'Restaurant'))
user
Can you tell me the address , phone number , and postcode of Little Seoul , please ?
reqmore() inform((_:result,address,'108 Regent street City Centre');(_:result,name,'Little seoul');(_:result,phone,'01223 308681');(_:result,postcode,'CB21DP');(_:result,type,'Restaurant'))
system
Sure , Little seoul is located at 108 Regent street City Centre . Its phone number is 01223 308681 and the postcode is CB21DP . Is there anything I can help you with ?
thank()
user
Thank you , goodbye .
system
thank you , goodbye .
_:search area centre
_:search food korean
_:search type Restaurant
_:search area centre
_:search food korean
_:result area centre
_:result name Little Seoul
_:result type Restaurant
_:search name little seoul
_:search type Restaurant
_:result address ?
_:result phone ?
_:result postcode ?
_:search area centre
_:search food korean
_:result area centre
_:search name little seoul
_:search type Restaurant
_:system inquired _:user
_:result address 108 Regent street City Centre
_:result name Little seoul
_:result phone 01223 308681
_:result postcode CB21DP
_:result type Restaurant