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 ?
inform((_:search,pricerange,*);(_:search,type,'Hotel'))
user
any price is the price range
request((_:search,area,?);(_:search,type,'Hotel'))
system
what part of town do you have in mind ?
user
hi
request((_:search,pricerange,?);(_:search,type,'Hotel'))
system
would you like a hotel in the inexpensive , moderate , or pricey price range ?
inform((_:search,pricerange,'pricey');(_:search,type,'Hotel'))
user
expensive
inform((_:result,name,'grand hyatt san francisco');(_:result,pricerange,'pricey');(_:result,type,'Hotel'))
system
grand hyatt san francisco is a nice place it is in the pricey price range .
request((_:result,phone,?);(_:result,type,'Hotel'))
user
phone number
inform((_:result,name,'grand hyatt san francisco');(_:result,phone,'4153981234');(_:result,type,'Hotel'))
system
grand hyatt san francisco is a nice place their phone number is 4153981234 .
thanks() bye()
user
thank you goodbye
bye()
system
goodbye
user
_:system greeted _:user
_:search pricerange *
_:search type Hotel
_:system greeted _:user
_:search pricerange *
_:search area ?
_:search type Hotel
_:system greeted _:user
_:search area ?
_:search pricerange pricey
_:search type Hotel
_:system greeted _:user
_:search area ?
_:search pricerange pricey
_:search type Hotel
_:result name grand hyatt san francisco
_:result pricerange pricey
_:result type Hotel
_:result phone ?
_:system greeted _:user
_:search area ?
_:search pricerange pricey
_:search type Hotel
_:result pricerange pricey
_:result name grand hyatt san francisco
_:result phone 4153981234
_:result type Hotel
_:user thanked _:system
_:user dismissed _:system
_:system greeted _:user
_:search area ?
_:search pricerange pricey
_:search type Hotel
_:result pricerange pricey
_:result name grand hyatt san francisco
_:result phone 4153981234
_:result type Hotel
_:user thanked _:system
_:user dismissed _:system
_:system dismissed _:user