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
do you have be you don't care
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,accepts_credit_cards,?);(_:result,type,'Hotel'))
user
does it accept credit card
select((_:result,dogs_allowed,'no');(_:result,dogs_allowed,'yes'))
system
what is your preference as to whether it allows dogs ?
inform((_:search,accepts_credit_cards,'true');(_:search,dogs_allowed,*);(_:search,type,'Hotel'))
user
don't care whether it accepts credit cards
inform((_:result,accepts_credit_cards,'yes');(_:result,dogs_allowed,'no');(_:result,name,'san francisco marriott marquis');(_:result,type,'Hotel'))
system
san francisco marriott marquis is a nice place , i do not know if it allows dogs and it accepts credit card -s .
bye()
user
good bye
bye()
system
goodbye
user
_:system greeted _:user
_:system greeted _:user
_:result accepts_credit_cards no
_:result accepts_credit_cards yes
_:result accepts_credit_cards ?
_:result type Hotel
_:system greeted _:user
_:result accepts_credit_cards no
_:result accepts_credit_cards yes
_:result accepts_credit_cards ?
_:result type Hotel
_:result dogs_allowed no
_:result dogs_allowed yes
_:search accepts_credit_cards true
_:search dogs_allowed *
_:search type Hotel
_:system greeted _:user
_:search accepts_credit_cards true
_:search dogs_allowed *
_:search type Hotel
_:result accepts_credit_cards yes
_:result dogs_allowed no
_:result name san francisco marriott marquis
_:result type Hotel
_:user dismissed _:system
_:system greeted _:user
_:search accepts_credit_cards true
_:search dogs_allowed *
_:search type Hotel
_:result accepts_credit_cards yes
_:result dogs_allowed no
_:result name san francisco marriott marquis
_:result type Hotel
_:user dismissed _:system
_:system dismissed _:user