inform((_:search,food,'italian');(_:search,pricerange,'cheap');(_:search,type,'Restaurant')) request((_:result,address,?);(_:result,phone,?);(_:result,type,'Restaurant'))
user
I want to find a cheap restaurant serving italian food . What is the address and phone number ?
request((_:search,area,?);(_:search,type,'Restaurant')) inform((_:result,amount,'quite a few');(_:result,type,'Restaurant'))
system
I have quite a few restaurants that match your request .   Would you like to narrow it down by area ?
inform((_:search,area,'dontcare');(_:search,type,'Restaurant'))
user
No that does n't matter
inform((_:result,address,'12 Bridge Street City Centre');(_:result,area,'centre');(_:result,food,'Italian');(_:result,name,'Ask');(_:result,phone,'01223 364917');(_:result,pricerange,'cheap');(_:result,type,'Restaurant'))
system
Ask is a cheap restaurant serving Italian food in the centre of town .   The address is 12 Bridge Street City Centre , and the phone number is 01223 364917 .
inform((_:search,type,'Restaurant'))
user
what is the food type of that restaurant ?
inform((_:result,food,'italian');(_:result,type,'Restaurant'))
system
They serve italian food .
thank()
user
Thank you .   I 'll check it out .
system
Thank you , goodbye .
_:search food italian
_:search pricerange cheap
_:search type Restaurant
_:result address ?
_:result phone ?
_:result type Restaurant
_:search food italian
_:search pricerange cheap
_:result address ?
_:result phone ?
_:result amount quite a few
_:result type Restaurant
_:search area dontcare
_:search type Restaurant
_:search food italian
_:search pricerange cheap
_:result amount quite a few
_:search area dontcare
_:result address 12 Bridge Street City Centre
_:result area centre
_:result food Italian
_:result name Ask
_:result phone 01223 364917
_:result pricerange cheap
_:result type Restaurant
_:search type Restaurant
_:search food italian
_:search pricerange cheap
_:result amount quite a few
_:search area dontcare
_:result address 12 Bridge Street City Centre
_:result area centre
_:result name Ask
_:result phone 01223 364917
_:result pricerange cheap
_:search type Restaurant
_:result food italian
_:result type Restaurant