inform((_:search,area,'centre');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
HI , I am looking for a cheap place in the centre of town to eat . Can you help ?
request((_:search,food,?);(_:search,type,'Restaurant'))
system
Sure what type of food are you wanting ?
request((_:result,food,?);(_:result,type,'Restaurant')) inform((_:search,food,*);(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
Any type is fine , just something cheap and in the centre . Could you recommend one and give me the food type ?
inform((_:result,food,'Asian Oriental');(_:result,name,'Dojo Noodle Bar');(_:result,type,'Restaurant'))
system
How about the Dojo Noodle Bar ? They serve Asian Oriental .
request((_:result,phone,?);(_:result,postcode,?);(_:result,type,'Restaurant'))
user
That would be fine . Can I have their postcode and phone number please ?
inform((_:result,phone,'01223363471');(_:result,postcode,'cb21rq');(_:result,type,'Restaurant'))
system
Their postcode is cb21rq , and their phone number is 01223363471
thank()
user
Thank you for your help today .
system
You 're welcome ! Goodbye !
_:search area centre
_:search pricerange cheap
_:search type Restaurant
_:search area centre
_:result food ?
_:result type Restaurant
_:search food *
_:search pricerange cheap
_:search type Restaurant
_:search area centre
_:search food *
_:search pricerange cheap
_:search type Restaurant
_:result food Asian Oriental
_:result name Dojo Noodle Bar
_:result type Restaurant
_:result phone ?
_:result postcode ?
_:search area centre
_:search food *
_:search pricerange cheap
_:search type Restaurant
_:result food Asian Oriental
_:result name Dojo Noodle Bar
_:result phone 01223363471
_:result postcode cb21rq
_:result type Restaurant