hello()
system
Hello , welcome to the Cambridge restaurant system? You can ask for restaurants by area , price range or food type . How may I help you?
inform((_:search,pricerange,'moderate');(_:search,type,'Restaurant'))
user
modereate
request((_:search,food,?);(_:search,type,'Restaurant'))
system
What kind of food would you like?
inform((_:search,food,'british');(_:search,type,'Restaurant'))
user
british
request((_:search,pricerange,?);(_:search,type,'Restaurant'))
system
Would you like something in the cheap , moderate , or expensive price range?
inform((_:search,pricerange,'moderate');(_:search,type,'Restaurant'))
user
moderate
request((_:search,area,?);(_:search,type,'Restaurant'))
system
What part of town do you have in mind?
inform((_:search,area,*);(_:search,type,'Restaurant'))
user
any
inform((_:result,area,'centre');(_:result,food,'british');(_:result,name,'cotto');(_:result,pricerange,'moderate');(_:result,type,'Restaurant'))
system
cotto is a nice restaurant in the centre of town serving british food
request((_:result,address,?);(_:result,type,'Restaurant'))
user
address
inform((_:result,address,'183 east road city centre');(_:result,name,'cotto');(_:result,type,'Restaurant'))
system
Sure , cotto is on 183 East Road City Centre
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
phone number
inform((_:result,name,'cotto');(_:result,phone,'01223 302010');(_:result,type,'Restaurant'))
system
The phone number of cotto is 01223 302010 .
bye()
user
good bye
_:system greeted _:user
_:search pricerange moderate
_:search type Restaurant
_:system greeted _:user
_:search pricerange moderate
_:search food british
_:search type Restaurant
_:system greeted _:user
_:search food british
_:search pricerange moderate
_:search type Restaurant
_:system greeted _:user
_:search food british
_:search pricerange moderate
_:search area *
_:search type Restaurant
_:system greeted _:user
_:search food british
_:search pricerange moderate
_:search area *
_:search type Restaurant
_:result area centre
_:result food british
_:result name cotto
_:result pricerange moderate
_:result type Restaurant
_:result address ?
_:system greeted _:user
_:search food british
_:search pricerange moderate
_:search area *
_:search type Restaurant
_:result area centre
_:result food british
_:result pricerange moderate
_:result address 183 east road city centre
_:result name cotto
_:result type Restaurant
_:result phone ?
_:system greeted _:user
_:search food british
_:search pricerange moderate
_:search area *
_:search type Restaurant
_:result area centre
_:result food british
_:result pricerange moderate
_:result address 183 east road city centre
_:result name cotto
_:result phone 01223 302010
_:result type Restaurant
_:user dismissed _:system