inform((_:search,area,'north');(_:search,type,'Restaurant'))
user
I am looking for restaurants in the north part of town
request((_:search,pricerange,?);(_:search,type,'Restaurant'))
system
Which price range are you looking in ?
inform((_:search,pricerange,'cheap');(_:search,type,'Restaurant')) request((_:result,food,?);(_:result,type,'Restaurant'))
user
I 'd like a cheap restaurant . What types of food are available with those parameters ?
reqmore() inform((_:result,area,'north');(_:result,food,'Indian');(_:result,food,'Italian');(_:result,pricerange,'cheap');(_:result,type,'Restaurant'))
system
Italian and Indian food can be found for cheap in the north part of town .   Would you like more information ?
inform((_:search,area,'north');(_:search,food,'indian');(_:search,pricerange,'cheap');(_:search,type,'Restaurant')) request((_:result,phone,?);(_:result,type,'Restaurant'))
user
Can you give me the name and phone number of a cheap Indian restaurant in the north ?
inform((_:result,area,'north');(_:result,food,'Indian');(_:result,name,'Royal Spice');(_:result,phone,'017 - 335 - 3355');(_:result,pricerange,'cheap');(_:result,type,'Restaurant'))
system
Royal Spice is a cheap Indian restaurant in the north . It 's phone number is 017 - 335 - 3355
user
How much is the average dish ?
reqmore()
system
I am sorry sir , this information is not available to us . Is there anything else I can help you with ?
thank()
user
Thank you goodbye .
system
Have a good evening .
_:search area north
_:search type Restaurant
_:search area north
_:search pricerange cheap
_:search type Restaurant
_:result food ?
_:result type Restaurant
_:system inquired _:user
_:result area north
_:result food Indian
_:result food Italian
_:result pricerange cheap
_:result type Restaurant
_:search area north
_:search food indian
_:search pricerange cheap
_:search type Restaurant
_:result phone ?
_:system inquired _:user
_:search area north
_:search food indian
_:search pricerange cheap
_:search type Restaurant
_:result area north
_:result food Indian
_:result name Royal Spice
_:result phone 017 - 335 - 3355
_:result pricerange cheap
_:result type Restaurant
_:search area north
_:search food indian
_:search pricerange cheap
_:search type Restaurant
_:result area north
_:result food Indian
_:result name Royal Spice
_:result phone 017 - 335 - 3355
_:result pricerange cheap
_:result type Restaurant
_:system inquired _:user