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 ?
negate()
user
uh i want a car and
request((_:search,near,?);(_:search,type,'Hotel'))
system
where would you like it to be near to ?
inform((_:search,area,'little italy');(_:search,type,'Hotel'))
user
in the area of the little italy
inform((_:result,area,'little italy');(_:result,name,'casa melissa');(_:result,type,'Hotel'))
system
casa melissa is a nice place it is in the area of little italy .
inform((_:search,accepts_credit_cards,'true');(_:search,type,'Hotel'))
user
does it accept credit cards
inform((_:result,area,'little italy');(_:result,name,'casa melissa');(_:result,type,'Hotel'))
system
casa melissa is a nice place it is in the area of little italy .
inform((_:search,accepts_credit_cards,'true');(_:search,type,'Hotel'))
user
where it accepts credit cards
inform((_:result,accepts_credit_cards,'yes');(_:result,name,'w san francisco');(_:result,type,'Hotel'))
system
w san francisco is a nice place it accepts credit card -s .
request((_:result,name,?);(_:result,phone,?);(_:result,type,'Hotel')) inform((_:search,type,'Hotel');(_:search,type,'hotel'))
user
what is the name and phone number of that hotel
inform((_:result,accepts_credit_cards,'yes');(_:result,name,'w san francisco');(_:result,type,'Hotel'))
system
w san francisco is a nice place it accepts credit card -s .
user
_:system greeted _:user
_:system greeted _:user
_:search near ?
_:search area little italy
_:search type Hotel
_:system greeted _:user
_:search near ?
_:search area little italy
_:result area little italy
_:result name casa melissa
_:result type Hotel
_:search accepts_credit_cards true
_:search type Hotel
_:system greeted _:user
_:search near ?
_:search area little italy
_:result area little italy
_:result name casa melissa
_:result type Hotel
_:search accepts_credit_cards true
_:search type Hotel
_:system greeted _:user
_:search near ?
_:search area little italy
_:result area little italy
_:search accepts_credit_cards true
_:result accepts_credit_cards yes
_:result name w san francisco
_:result type Hotel
_:result name ?
_:result phone ?
_:search type Hotel
_:search type hotel
_:system greeted _:user
_:search near ?
_:search area little italy
_:result area little italy
_:search accepts_credit_cards true
_:result phone ?
_:search type Hotel
_:search type hotel
_:result accepts_credit_cards yes
_:result name w san francisco
_:result type Hotel