inform((_:search,name,"king 's college");(_:search,type,'Attraction'))
user
I am looking for an attraction called King 's College .
inform((_:result,address,"King 's Parace");(_:result,area,'centre');(_:result,name,"King 's College");(_:result,phone,'01223331100');(_:result,type,'Attraction'))
system
Ah yes , King 's College is in centre of town . The address is King 's Parace and phone 01223331100 .
request((_:result,postcode,?);(_:result,type,'Attraction'))
user
Thank you very much .   Can you give me the postcode ?
inform((_:result,postcode,'cb21st');(_:result,type,'Attraction'))
system
The postcode is cb21st .
inform((_:search,type,'Hotel'))
user
I also need a place to stay .
select((_:result,category,'guesthouse');(_:result,category,'hotel');(_:result,type,'Hotel'))
system
I can help you with that . Would you like a guesthouse or hotel ?
inform((_:search,category,'hotel');(_:search,pricerange,'expensive');(_:search,stars,'4-stars');(_:search,type,'Hotel'))
user
I would like a hotel with 4-stars .   Also , an expensive one .
inform((_:result,category,'hotel');(_:result,has_internet,'none');(_:result,has_parking,'none');(_:result,name,'University Arms Hotel');(_:result,pricerange,'expensive');(_:result,stars,'four');(_:result,type,'Hotel')) reqmore()
system
There is one hotel matching your criteria . It is University Arms Hotel , it is expensive with a four star rating and both free internet and parking . Do you need more information ?
thank()
user
No that will be all the info I need thank you .
system
Okay ! Have a great trip ! Bye !
_:search name king 's college
_:search type Attraction
_:search name king 's college
_:search type Attraction
_:result address King 's Parace
_:result area centre
_:result name King 's College
_:result phone 01223331100
_:result type Attraction
_:result postcode ?
_:search name king 's college
_:result address King 's Parace
_:result area centre
_:result name King 's College
_:result phone 01223331100
_:result postcode cb21st
_:result type Attraction
_:search type Hotel
_:search name king 's college
_:result address King 's Parace
_:result area centre
_:result name King 's College
_:result phone 01223331100
_:result postcode cb21st
_:result category guesthouse
_:result category hotel
_:result type Hotel
_:search category hotel
_:search pricerange expensive
_:search stars 4-stars
_:search type Hotel
_:search name king 's college
_:result address King 's Parace
_:result area centre
_:result phone 01223331100
_:result postcode cb21st
_:search category hotel
_:search pricerange expensive
_:search stars 4-stars
_:search type Hotel
_:result category hotel
_:result has_internet none
_:result has_parking none
_:result name University Arms Hotel
_:result pricerange expensive
_:result stars four
_:result type Hotel
_:system inquired _:user