hello()
system
hello , welcome to the hotel information system . you can ask for hotel -s by pricerange , whether they accept credit card -s or have internet . how may i help you ?
affirm() inform((_:search,type,'Hotel');(_:search,type,'hotel'))
user
yes i'm looking for a hotel in the area of lower
request((_:search,near,?);(_:search,type,'Hotel'))
system
where would you like it to be near to ?
inform((_:search,has_internet,'true');(_:search,type,'Hotel'))
user
that has an internet connection
inform((_:result,has_internet,'yes');(_:result,name,'ritz carlton club');(_:result,type,'Hotel'))
system
ritz carlton club is a nice place it has internet .
request((_:result,address,?);(_:result,type,'Hotel'))
user
where is it located
inform((_:result,address,'658 market st');(_:result,name,'ritz carlton club');(_:result,type,'Hotel'))
system
ritz carlton club is a nice place their address is 658 market st .
request((_:result,phone,?);(_:result,type,'Hotel'))
user
what is the phone number
inform((_:result,has_internet,'yes');(_:result,name,'ritz carlton club');(_:result,type,'Hotel'))
system
ritz carlton club is a nice place it has internet .
request((_:result,phone,?);(_:result,postcode,?);(_:result,type,'Hotel'))
user
what is the phone number and postcode
inform((_:result,name,'ritz carlton club');(_:result,phone,'none');(_:result,postcode,'94105');(_:result,type,'Hotel'))
system
ritz carlton club is a nice place , i do not know their phone number and their postcode is 94105 .
thanks() bye()
user
thank you goodbye
bye()
system
goodbye
user
_:system greeted _:user
_:search type Hotel
_:search type hotel
_:system greeted _:user
_:search near ?
_:search has_internet true
_:search type Hotel
_:system greeted _:user
_:search near ?
_:search has_internet true
_:search type Hotel
_:result has_internet yes
_:result name ritz carlton club
_:result type Hotel
_:result address ?
_:system greeted _:user
_:search near ?
_:search has_internet true
_:search type Hotel
_:result has_internet yes
_:result address 658 market st
_:result name ritz carlton club
_:result type Hotel
_:result phone ?
_:system greeted _:user
_:search near ?
_:search has_internet true
_:search type Hotel
_:result address 658 market st
_:result phone ?
_:result has_internet yes
_:result name ritz carlton club
_:result type Hotel
_:result postcode ?
_:system greeted _:user
_:search near ?
_:search has_internet true
_:search type Hotel
_:result address 658 market st
_:result has_internet yes
_:result name ritz carlton club
_:result phone none
_:result postcode 94105
_:result type Hotel
_:user thanked _:system
_:user dismissed _:system
_:system greeted _:user
_:search near ?
_:search has_internet true
_:search type Hotel
_:result address 658 market st
_:result has_internet yes
_:result name ritz carlton club
_:result phone none
_:result postcode 94105
_:result type Hotel
_:user thanked _:system
_:user dismissed _:system
_:system dismissed _:user