inform((_:search,food,'vietnamese');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
I would like a cheap restaurant that serves vietnamese food
inform((_:result,area,'west');(_:result,name,'Thanh Binh');(_:result,type,'Restaurant'))
system
I found Thanh Binh in the west part of town .
request((_:result,address,?);(_:result,phone,?);(_:result,type,'Restaurant'))
user
What is the address and phone number ?
inform((_:result,address,'at 17 magdalene street city centre');(_:result,name,'Thanh binh');(_:result,phone,'01223 362456');(_:result,type,'Restaurant'))
system
Thanh binh can be reached at 01223 362456 and it is located at 17 magdalene street city centre .
thank()
user
Thank you goodbye .
system
Thank you and goodbye !
_:search food vietnamese
_:search pricerange cheap
_:search type Restaurant
_:search food vietnamese
_:search pricerange cheap
_:search type Restaurant
_:result area west
_:result name Thanh Binh
_:result type Restaurant
_:result address ?
_:result phone ?
_:search food vietnamese
_:search pricerange cheap
_:search type Restaurant
_:result area west
_:result address at 17 magdalene street city centre
_:result name Thanh binh
_:result phone 01223 362456
_:result type Restaurant