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 ?
ack() inform((_:search,accepts_credit_cards,'true');(_:search,type,'Hotel'))
user
okay near japantown accepts credit cards
inform((_:result,accepts_credit_cards,'yes');(_:result,name,'petite auberge');(_:result,type,'Hotel'))
system
petite auberge is a nice place it accepts credit card -s .
request((_:result,name,?);(_:result,phone,?);(_:result,type,'Hotel'))
user
what's the name and phone number
inform((_:result,accepts_credit_cards,'yes');(_:result,name,'petite auberge');(_:result,type,'Hotel'))
system
petite auberge is a nice place it accepts credit card -s .
request((_:result,phone,?);(_:result,type,'Hotel'))
user
the phone number
inform((_:result,accepts_credit_cards,'yes');(_:result,count,'167');(_:result,type,'Hotel');(_:result,type,'hotel'))
system
there are 167 hotel -s where credit card -s are accepted .
user
select((_:result,has_internet,'no');(_:result,has_internet,'yes'))
system
what is your preference as to whether it has internet ?
inform((_:search,has_internet,*);(_:search,type,'Hotel'))
user
i don't care in japantown
select((_:result,has_internet,'no');(_:result,has_internet,'yes'))
system
what is your preference as to whether it has internet ?
thanks() bye()
user
thank you goodbye
bye()
system
goodbye
user
_:system greeted _:user
_:search accepts_credit_cards true
_:search type Hotel
_:system greeted _:user
_:search accepts_credit_cards true
_:search type Hotel
_:result accepts_credit_cards yes
_:result name petite auberge
_:result type Hotel
_:result name ?
_:result phone ?
_:system greeted _:user
_:search accepts_credit_cards true
_:search type Hotel
_:result phone ?
_:result accepts_credit_cards yes
_:result name petite auberge
_:result type Hotel
_:system greeted _:user
_:search accepts_credit_cards true
_:search type Hotel
_:result phone ?
_:result name petite auberge
_:result accepts_credit_cards yes
_:result count 167
_:result type Hotel
_:result type hotel
_:system greeted _:user
_:search accepts_credit_cards true
_:result phone ?
_:result name petite auberge
_:result accepts_credit_cards yes
_:result count 167
_:result type Hotel
_:result type hotel
_:result has_internet no
_:result has_internet yes
_:search has_internet *
_:search type Hotel
_:system greeted _:user
_:search accepts_credit_cards true
_:result phone ?
_:result name petite auberge
_:result accepts_credit_cards yes
_:result count 167
_:result type Hotel
_:result type hotel
_:search has_internet *
_:search type Hotel
_:result has_internet no
_:result has_internet yes
_:user thanked _:system
_:user dismissed _:system
_:system greeted _:user
_:search accepts_credit_cards true
_:result phone ?
_:result name petite auberge
_:result accepts_credit_cards yes
_:result count 167
_:result type Hotel
_:result type hotel
_:search has_internet *
_:search type Hotel
_:result has_internet no
_:result has_internet yes
_:user thanked _:system
_:user dismissed _:system
_:system dismissed _:user