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 ?
user
select((_:result,accepts_credit_cards,'no');(_:result,accepts_credit_cards,'yes'))
system
what is your preference as to whether it accepts credit card -s ?
request((_:result,postcode,?);(_:result,type,'Hotel'))
user
i'm looking for code hill
select((_:result,accepts_credit_cards,'no');(_:result,accepts_credit_cards,'yes'))
system
what is your preference as to whether it accepts credit card -s ?
inform((_:search,near,'japantown');(_:search,type,'Hotel');(_:search,type,'hotel'))
user
i'm looking for a hotel near japantown and has
inform((_:result,name,'kenmore res club');(_:result,near,'japantown');(_:result,type,'Hotel'))
system
kenmore res club is a nice place it is near japantown .
request((_:result,address,?);(_:result,postcode,?);(_:result,type,'Hotel'))
user
can you give me the address and post code
inform((_:result,address,'1570 sutter st');(_:result,name,'kenmore res club');(_:result,postcode,'94109');(_:result,type,'Hotel'))
system
kenmore res club is a nice place , their address is 1570 sutter st and their postcode is 94109 .
thanks() bye()
user
thank you goodbye
bye()
system
goodbye
user
_:system greeted _:user
_:system greeted _:user
_:result accepts_credit_cards no
_:result accepts_credit_cards yes
_:result postcode ?
_:result type Hotel
_:system greeted _:user
_:result postcode ?
_:result type Hotel
_:result accepts_credit_cards no
_:result accepts_credit_cards yes
_:search near japantown
_:search type Hotel
_:search type hotel
_:system greeted _:user
_:result postcode ?
_:result accepts_credit_cards no
_:result accepts_credit_cards yes
_:search near japantown
_:search type Hotel
_:search type hotel
_:result name kenmore res club
_:result near japantown
_:result type Hotel
_:result address ?
_:system greeted _:user
_:result accepts_credit_cards no
_:result accepts_credit_cards yes
_:search near japantown
_:search type Hotel
_:search type hotel
_:result near japantown
_:result address 1570 sutter st
_:result name kenmore res club
_:result postcode 94109
_:result type Hotel
_:user thanked _:system
_:user dismissed _:system
_:system greeted _:user
_:result accepts_credit_cards no
_:result accepts_credit_cards yes
_:search near japantown
_:search type Hotel
_:search type hotel
_:result near japantown
_:result address 1570 sutter st
_:result name kenmore res club
_:result postcode 94109
_:result type Hotel
_:user thanked _:system
_:user dismissed _:system
_:system dismissed _:user