inform((_:search,food,'european');(_:search,type,'Restaurant'))
user
I need a restaurant that serves european food please
request((_:search,area,?);(_:search,type,'Restaurant'))
system
What area are you looking for ?
inform((_:search,area,'dontcare');(_:search,type,'Restaurant')) request((_:result,area,?);(_:result,type,'Restaurant'))
user
Anything in the area would be fine
inform((_:result,area,'centre');(_:result,food,'European');(_:result,name,'Galleria');(_:result,pricerange,'moderately priced');(_:result,type,'Restaurant'))
system
Galleria is a nice restaurant serving European food , is in the centre of town and is moderately priced .
inform((_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
I am looking for something in the expensive price range .
system
I 'm sorry there is no one serving european food in the expensive price range
_:search food european
_:search type Restaurant
_:search food european
_:search area dontcare
_:search type Restaurant
_:result area ?
_:result type Restaurant
_:search food european
_:search area dontcare
_:result area centre
_:result food European
_:result name Galleria
_:result pricerange moderately priced
_:result type Restaurant
_:search pricerange expensive
_:search type Restaurant