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 ?
thanks() bye() request((_:result,dogs_allowed,?);(_:result,type,'Hotel'))
user
thank you good that does it allow dogs
select((_:result,dogs_allowed,'no');(_:result,dogs_allowed,'yes'))
system
what is your preference as to whether it allows dogs ?
inform((_:search,dogs_allowed,'false');(_:search,type,'Hotel'))
user
no dogs
confirm((_:result,dogs_allowed,'no');(_:result,type,'Hotel'))
system
let me confirm you want a hotel that does not allow dogs , right ?
affirm()
user
correct
inform((_:result,dogs_allowed,'no');(_:result,name,'casa melissa');(_:result,type,'Hotel'))
system
casa melissa is a nice place where no dogs are allowed .
user
_:system greeted _:user
_:user thanked _:system
_:user dismissed _:system
_:result dogs_allowed ?
_:result type Hotel
_:system greeted _:user
_:user thanked _:system
_:user dismissed _:system
_:result type Hotel
_:result dogs_allowed no
_:result dogs_allowed yes
_:search dogs_allowed false
_:search type Hotel
_:system greeted _:user
_:user thanked _:system
_:user dismissed _:system
_:result type Hotel
_:result dogs_allowed no
_:result dogs_allowed yes
_:search dogs_allowed false
_:search type Hotel
_:system greeted _:user
_:user thanked _:system
_:user dismissed _:system
_:search dogs_allowed false
_:search type Hotel
_:result dogs_allowed no
_:result name casa melissa
_:result type Hotel