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,food,'international');(_:search,type,'Restaurant'))
user
international food
request((_:search,area,?);(_:search,type,'Restaurant'))
system
What part of town do you have in mind?
inform((_:search,area,'centre');(_:search,type,'Restaurant'))
user
center
request((_:search,pricerange,?);(_:search,type,'Restaurant'))
system
Would you like something in the cheap , moderate , or expensive price range?
inform((_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
expensive
inform((_:result,food,'international');(_:result,name,'the missing sock');(_:result,type,'Restaurant'))
system
the missing sock serves international food
request((_:result,address,?);(_:result,type,'Restaurant'))
user
address
inform((_:result,address,'finders corner newmarket road');(_:result,name,'the missing sock');(_:result,type,'Restaurant'))
system
Sure , the missing sock is on Finders Corner Newmarket Road
request((_:result,postcode,?);(_:result,type,'Restaurant'))
user
post code
_:system greeted _:user
_:search food international
_:search type Restaurant
_:system greeted _:user
_:search food international
_:search area centre
_:search type Restaurant
_:system greeted _:user
_:search food international
_:search area centre
_:search pricerange expensive
_:search type Restaurant
_:system greeted _:user
_:search food international
_:search area centre
_:search pricerange expensive
_:search type Restaurant
_:result food international
_:result name the missing sock
_:result type Restaurant
_:result address ?
_:system greeted _:user
_:search food international
_:search area centre
_:search pricerange expensive
_:search type Restaurant
_:result food international
_:result address finders corner newmarket road
_:result name the missing sock
_:result type Restaurant
_:result postcode ?