hello()
system
Hello , welcome to the Cambridge restaurant system? You can ask for restaurants by area , price range or food type .
user
sil
request((_:search,area,?);(_:search,type,'Restaurant'))
system
What part of town do you have in mind?
user
i want
inform((_:result,name,'the missing sock');(_:result,type,'Restaurant'))
system
the missing sock is a great restaurant
inform((_:search,area,*);(_:search,type,'Restaurant'))
user
any area
inform((_:result,name,'the missing sock');(_:result,type,'Restaurant'))
system
the missing sock is a great restaurant
confirm((_:result,food,'christmas');(_:result,type,'Restaurant'))
user
does it serve christmas food
inform((_:result,food,'international');(_:result,name,'the missing sock');(_:result,type,'Restaurant'))
system
the missing sock serves international food
inform((_:search,food,'korean');(_:search,type,'Restaurant'))
user
i want korean food
inform((_:result,food,'korean');(_:result,name,'little seoul');(_:result,type,'Restaurant'))
system
little seoul serves korean food .
request((_:result,address,?);(_:result,type,'Restaurant'))
user
can i have the address
inform((_:result,address,'108 regent street city centre');(_:result,name,'little seoul');(_:result,type,'Restaurant'))
system
Sure , little seoul is on 108 Regent Street City Centre
request((_:result,pricerange,?);(_:result,type,'Restaurant'))
user
whats the price range
inform((_:result,name,'little seoul');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
little seoul is in the expensive price range
thanks() bye()
user
thank you goodbye
_:system greeted _:user
_:system greeted _:user
_:search area ?
_:search type Restaurant
_:system greeted _:user
_:result name the missing sock
_:result type Restaurant
_:search area *
_:search type Restaurant
_:system greeted _:user
_:search area *
_:search type Restaurant
_:result name the missing sock
_:result food christmas
_:result type Restaurant
_:system greeted _:user
_:search area *
_:result food international
_:result name the missing sock
_:result type Restaurant
_:search food korean
_:search type Restaurant
_:system greeted _:user
_:search area *
_:search food korean
_:search type Restaurant
_:result food korean
_:result name little seoul
_:result type Restaurant
_:result address ?
_:system greeted _:user
_:search area *
_:search food korean
_:search type Restaurant
_:result food korean
_:result address 108 regent street city centre
_:result name little seoul
_:result type Restaurant
_:result pricerange ?
_:system greeted _:user
_:search area *
_:search food korean
_:search type Restaurant
_:result food korean
_:result address 108 regent street city centre
_:result name little seoul
_:result pricerange expensive
_:result type Restaurant
_:user thanked _:system
_:user dismissed _:system