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')) inform((_:search,name,'the carriage inn');(_:search,type,'Hotel'))
user
post code in the area of the carriage inn belgian no
inform((_:result,name,'the carriage inn');(_:result,postcode,'94103');(_:result,type,'Hotel'))
system
the carriage inn is a nice place their postcode is 94103 .
request((_:result,phone,?);(_:result,type,'Hotel'))
user
phone number
inform((_:result,name,'the carriage inn');(_:result,phone,'4155528600');(_:result,type,'Hotel'))
system
the carriage inn is a nice place their phone number is 4155528600 .
request((_:result,address,?);(_:result,type,'Hotel'))
user
address
inform((_:result,address,'140 7th st');(_:result,name,'the carriage inn');(_:result,type,'Hotel'))
system
the carriage inn is a nice place their address is 140 7th st .
thanks() bye()
user
thank you goodbye
bye()
system
goodbye
user
_:system greeted _:user
_:result postcode ?
_:result type Hotel
_:search name the carriage inn
_:search type Hotel
_:system greeted _:user
_:search name the carriage inn
_:search type Hotel
_:result name the carriage inn
_:result postcode 94103
_:result type Hotel
_:result phone ?
_:system greeted _:user
_:search name the carriage inn
_:search type Hotel
_:result postcode 94103
_:result name the carriage inn
_:result phone 4155528600
_:result type Hotel
_:result address ?
_:system greeted _:user
_:search name the carriage inn
_:search type Hotel
_:result postcode 94103
_:result phone 4155528600
_:result address 140 7th st
_:result name the carriage inn
_:result type Hotel
_:user thanked _:system
_:user dismissed _:system
_:system greeted _:user
_:search name the carriage inn
_:search type Hotel
_:result postcode 94103
_:result phone 4155528600
_:result address 140 7th st
_:result name the carriage inn
_:result type Hotel
_:user thanked _:system
_:user dismissed _:system
_:system dismissed _:user