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 ?
affirm() request((_:result,phone,?);(_:result,type,'Hotel'))
user
yes a what's for the phone number
request((_:search,area,?);(_:search,type,'Hotel'))
system
what part of town do you have in mind ?
user
i would like to know type
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,dogs_allowed,'haight');(_:search,type,'Hotel');(_:search,type,'hotel'))
user
i'm looking for a hotel in the haight that doesn't allow dogs
inform((_:result,name,'red victorian bed breakfast and arts cafe');(_:result,near,'haight');(_:result,type,'Hotel'))
system
red victorian bed breakfast and arts cafe is a nice place it is near haight .
inform((_:search,name,'haight');(_:search,type,'Hotel');(_:search,type,'hotel'))
user
i'm looking for a hotel in the haight that serves while dog
inform((_:result,name,'red victorian bed breakfast and arts cafe');(_:result,type,'Hotel');(_:result,type,'hotel'))
system
red victorian bed breakfast and arts cafe is a nice hotel .
negate() inform((_:search,dogs_allowed,'true');(_:search,type,'Hotel'))
user
i don't want it to allow dogs
canthelp((_:result,dogs_allowed,'yes');(_:result,near,'haight');(_:result,type,'Hotel'))
system
i am sorry but there is no place , near haight and where dogs are allowed .
user
_:system greeted _:user
_:result phone ?
_:result type Hotel
_:system greeted _:user
_:result phone ?
_:result type Hotel
_:search area ?
_:search type Hotel
_:system greeted _:user
_:result phone ?
_:result type Hotel
_:search area ?
_:result dogs_allowed no
_:result dogs_allowed yes
_:search dogs_allowed false
_:search dogs_allowed haight
_:search type Hotel
_:search type hotel
_:system greeted _:user
_:result phone ?
_:search area ?
_:result dogs_allowed no
_:result dogs_allowed yes
_:search dogs_allowed false
_:search dogs_allowed haight
_:result name red victorian bed breakfast and arts cafe
_:result near haight
_:result type Hotel
_:search name haight
_:search type Hotel
_:search type hotel
_:system greeted _:user
_:result phone ?
_:search area ?
_:result dogs_allowed no
_:result dogs_allowed yes
_:result near haight
_:search name haight
_:user denied _:result/17156517
_:result/17156517 name red victorian bed breakfast and arts cafe
_:result/17156517 type Hotel
_:result/17156517 type hotel
_:search dogs_allowed true
_:search type Hotel
_:system greeted _:user
_:result phone ?
_:search area ?
_:result dogs_allowed no
_:result dogs_allowed yes
_:result near haight
_:search name haight
_:user denied _:result/17156517
_:result/17156517 name red victorian bed breakfast and arts cafe
_:result/17156517 type Hotel
_:result/17156517 type hotel
_:search dogs_allowed true
_:search type Hotel
_:system canthelp _:result/292c7a77
_:result/292c7a77 dogs_allowed yes
_:result/292c7a77 near haight
_:result/292c7a77 type Hotel