inform((_:search,name,"rosa 's bed and breakfast");(_:search,type,'Hotel'))
user
I am looking for a certain hotel .   I think it is called Rosa 's Bed and Breakfast
system
Would you like their address or phone number ?
request((_:result,has_parking,?);(_:result,type,'Hotel')) inform((_:search,has_parking,'yes');(_:search,type,'Hotel'))
user
First of all , do they have free parking ?
inform((_:result,has_parking,'none');(_:result,type,'Hotel'))
system
Yes , they do .
inform((_:search,area,'center');(_:search,type,'Attraction'))
user
I am also looking for a good attraction in the center part of town .
system
There is All Saints Church , do want the adress and phone number ?
_:search name rosa 's bed and breakfast
_:search type Hotel
_:search name rosa 's bed and breakfast
_:result has_parking ?
_:result type Hotel
_:search has_parking yes
_:search type Hotel
_:search name rosa 's bed and breakfast
_:search has_parking yes
_:result has_parking none
_:result type Hotel
_:search area center
_:search type Attraction