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()
user
is it a hello it allowed
select((_:result,has_internet,'no');(_:result,has_internet,'yes'))
system
what is your preference as to whether it has internet ?
request((_:result,phone,?);(_:result,type,'Hotel'))
user
select((_:result,dogs_allowed,'no');(_:result,dogs_allowed,'yes'))
system
what is your preference as to whether it allows dogs ?
affirm()
user
yes
request((_:search,near,?);(_:search,type,'Hotel'))
system
where would you like it to be near to ?
affirm()
user
yes
request((_:search,near,?);(_:search,type,'Hotel'))
system
where would you like it to be near to ?
request((_:result,phone,?);(_:result,type,'Hotel'))
user
get the phone number
request((_:search,near,?);(_:search,type,'Hotel'))
system
where would you like it to be near to ?
inform((_:search,near,*);(_:search,type,'Hotel'))
user
do not be type
confirm((_:result,near,'dont_care');(_:result,type,'Hotel'))
system
let me confirm , you are looking for a hotel and it does not need to be near a specific location ?
ack() thanks() bye()
user
okay thank you good bye
bye()
system
goodbye
user
_:system greeted _:user
_:system greeted _:user
_:result has_internet no
_:result has_internet yes
_:result phone ?
_:result type Hotel
_:system greeted _:user
_:result has_internet no
_:result has_internet yes
_:result phone ?
_:result type Hotel
_:result dogs_allowed no
_:result dogs_allowed yes
_:system greeted _:user
_:result has_internet no
_:result has_internet yes
_:result phone ?
_:result type Hotel
_:result dogs_allowed no
_:result dogs_allowed yes
_:search near ?
_:search type Hotel
_:system greeted _:user
_:result has_internet no
_:result has_internet yes
_:result phone ?
_:result type Hotel
_:result dogs_allowed no
_:result dogs_allowed yes
_:search near ?
_:search type Hotel
_:system greeted _:user
_:result has_internet no
_:result has_internet yes
_:result phone ?
_:result type Hotel
_:result dogs_allowed no
_:result dogs_allowed yes
_:search near *
_:search type Hotel
_:system greeted _:user
_:result has_internet no
_:result has_internet yes
_:result phone ?
_:result type Hotel
_:result dogs_allowed no
_:result dogs_allowed yes
_:search near *
_:search type Hotel
_:user thanked _:system
_:user dismissed _:system
_:system greeted _:user
_:result has_internet no
_:result has_internet yes
_:result phone ?
_:result type Hotel
_:result dogs_allowed no
_:result dogs_allowed yes
_:search near *
_:search type Hotel
_:user thanked _:system
_:user dismissed _:system
_:system dismissed _:user