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 ?
inform((_:search,dogs_allowed,'false');(_:search,pricerange,'pricey');(_:search,type,'Hotel'))
user
what is it does not allow dogs intensive is pricey price
canthelp((_:result,dogs_allowed,'no');(_:result,pricerange,'pricey');(_:result,type,'Hotel'))
system
i am sorry but there is no place , in the pricey price range and where no dogs are allowed .
inform((_:search,dogs_allowed,'true');(_:search,pricerange,'pricey');(_:search,type,'Hotel'))
user
how about does allow dogs in the next that's expensive price range
select((_:result,dogs_allowed,'no');(_:result,dogs_allowed,'yes'))
system
sorry would you like a place where dogs are allowed or where dogs are not allowed
negate()
user
not allowed
inform((_:result,name,'omni san francisco');(_:result,pricerange,'pricey');(_:result,type,'Hotel'))
system
omni san francisco is a nice place it is in the pricey price range .
inform((_:search,pricerange,'pricey');(_:search,type,'Hotel'))
user
expensive
canthelp((_:result,dogs_allowed,'no');(_:result,pricerange,'pricey');(_:result,type,'Hotel'))
system
i am sorry but there is no place , in the pricey price range and where no dogs are allowed .
thanks() bye()
user
thank you goodbye
bye()
system
goodbye
user
_:system greeted _:user
_:search dogs_allowed false
_:search pricerange pricey
_:search type Hotel
_:system greeted _:user
_:system canthelp _:result/f7110c96
_:result/f7110c96 dogs_allowed no
_:result/f7110c96 pricerange pricey
_:result/f7110c96 type Hotel
_:search dogs_allowed true
_:search pricerange pricey
_:search type Hotel
_:system greeted _:user
_:system canthelp _:result/f7110c96
_:result/f7110c96 dogs_allowed no
_:result/f7110c96 pricerange pricey
_:result/f7110c96 type Hotel
_:search dogs_allowed true
_:search pricerange pricey
_:search type Hotel
_:result dogs_allowed no
_:result dogs_allowed yes
_:system greeted _:user
_:system canthelp _:result/f7110c96
_:result/f7110c96 dogs_allowed no
_:result/f7110c96 pricerange pricey
_:result/f7110c96 type Hotel
_:search dogs_allowed true
_:result dogs_allowed no
_:result dogs_allowed yes
_:result name omni san francisco
_:result pricerange pricey
_:result type Hotel
_:search pricerange pricey
_:search type Hotel
_:system greeted _:user
_:system canthelp _:result/f7110c96
_:result/f7110c96 dogs_allowed no
_:result/f7110c96 pricerange pricey
_:result/f7110c96 type Hotel
_:search dogs_allowed true
_:result dogs_allowed no
_:result dogs_allowed yes
_:result name omni san francisco
_:result pricerange pricey
_:result type Hotel
_:search pricerange pricey
_:search type Hotel
_:system canthelp _:result/cc982abd
_:result/cc982abd dogs_allowed no
_:result/cc982abd pricerange pricey
_:result/cc982abd type Hotel
_:user thanked _:system
_:user dismissed _:system
_:system greeted _:user
_:system canthelp _:result/f7110c96
_:result/f7110c96 dogs_allowed no
_:result/f7110c96 pricerange pricey
_:result/f7110c96 type Hotel
_:search dogs_allowed true
_:result dogs_allowed no
_:result dogs_allowed yes
_:result name omni san francisco
_:result pricerange pricey
_:result type Hotel
_:search pricerange pricey
_:search type Hotel
_:system canthelp _:result/cc982abd
_:result/cc982abd dogs_allowed no
_:result/cc982abd pricerange pricey
_:result/cc982abd type Hotel
_:user thanked _:system
_:user dismissed _:system
_:system dismissed _:user