inform((_:search,area,'centre');(_:search,food,'thai');(_:search,type,'Restaurant'))
user
Is there a thai restaurant in the centre of town ?
reqmore() inform((_:result,area,'Thai');(_:result,type,'Restaurant'))
system
Yes , there is one Thai restaurant in that area . Would you like more details on this restaurant ?
request((_:result,address,?);(_:result,type,'Restaurant'))
user
What is the address ?
inform((_:result,address,'24 green street city centre');(_:result,type,'Restaurant'))
system
the address is 24 green street city centre
request((_:result,phone,?);(_:result,pricerange,?);(_:result,type,'Restaurant'))
user
What is the phone number and price range ?
reqmore() inform((_:result,food,'expensive');(_:result,name,'Bangkok City');(_:result,phone,'01223 354382');(_:result,type,'Restaurant'))
system
Bangkok City is expensive . Their phone number is 01223 354382 . Is there anything else I can help you find ?
bye()
user
No , that 's all the information I needed . Thank you . Good bye .
system
Thank you , goodbye !
_:search area centre
_:search food thai
_:search type Restaurant
_:search area centre
_:search food thai
_:search type Restaurant
_:system inquired _:user
_:result area Thai
_:result type Restaurant
_:result address ?
_:search area centre
_:search food thai
_:search type Restaurant
_:system inquired _:user
_:result area Thai
_:result address 24 green street city centre
_:result type Restaurant
_:result phone ?
_:result pricerange ?
_:search area centre
_:search food thai
_:search type Restaurant
_:result area Thai
_:result address 24 green street city centre
_:result pricerange ?
_:system inquired _:user
_:result food expensive
_:result name Bangkok City
_:result phone 01223 354382
_:result type Restaurant
_:user dismissed _:system