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 ?
request((_:result,postcode,?);(_:result,type,'Hotel'))
user
how post code in price in
select((_:result,has_internet,'no');(_:result,has_internet,'yes'))
system
what is your preference as to whether it has internet ?
ack()
user
okay internet
inform((_:result,has_internet,'no');(_:result,name,'twin peaks hotel');(_:result,type,'Hotel'))
system
twin peaks hotel is a nice place it does not have internet .
bye()
user
bye food the j
bye()
system
goodbye
user
_:system greeted _:user
_:result postcode ?
_:result type Hotel
_:system greeted _:user
_:result postcode ?
_:result type Hotel
_:result has_internet no
_:result has_internet yes
_:system greeted _:user
_:result postcode ?
_:result has_internet no
_:result name twin peaks hotel
_:result type Hotel
_:user dismissed _:system
_:system greeted _:user
_:result postcode ?
_:result has_internet no
_:result name twin peaks hotel
_:result type Hotel
_:user dismissed _:system
_:system dismissed _:user