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,area,'centre');(_:search,type,'Restaurant'))
user
im looking for a restaurant in the center
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 of town
inform((_:result,name,'taj tandoori');(_:result,type,'Restaurant'))
system
taj tandoori is a great restaurant
inform((_:search,food,'kosher');(_:search,type,'Restaurant'))
user
that can serve kosher food
canthelp((_:search,food,'corsica');(_:search,type,'Restaurant'))
system
I am sorry but there is no corsica restaurant that matches your request
reqalts() inform((_:search,food,'korean');(_:search,type,'Restaurant'))
user
how about one that serves korean food
inform((_:result,food,'korean');(_:result,name,'little seoul');(_:result,type,'Restaurant'))
system
little seoul serves korean food .
confirm((_:result,area,'centre');(_:result,type,'Restaurant'))
user
is it in the center of town
inform((_:result,area,'centre');(_:result,name,'little seoul');(_:result,type,'Restaurant'))
system
little seoul is a nice place in the centre of town
inform((_:search,food,'korean');(_:search,type,'Restaurant'))
user
that serves korean food
inform((_:result,food,'korean');(_:result,name,'little seoul');(_:result,type,'Restaurant'))
system
little seoul serves korean food .
request((_:result,address,?);(_:result,phone,?);(_:result,type,'Restaurant'))
user
can i have the address and phone number
inform((_:result,address,'108 regent street city centre');(_:result,name,'little seoul');(_:result,phone,'01223 308681');(_:result,type,'Restaurant'))
system
The phone number of little seoul is 01223 308681 and it is on 108 Regent Street City Centre .
thanks() bye()
user
thank you good bye
_:system greeted _:user
_:search area centre
_:search type Restaurant
_:system greeted _:user
_:search area centre
_:search type Restaurant
_:system greeted _:user
_:search area centre
_:result name taj tandoori
_:result type Restaurant
_:search food kosher
_:search type Restaurant
_:system greeted _:user
_:search area centre
_:result name taj tandoori
_:result type Restaurant
_:system canthelp _:search/4fc35491
_:search/4fc35491 food corsica
_:search/4fc35491 type Restaurant
_:user inquired _:system
_:search food korean
_:search type Restaurant
_:system greeted _:user
_:search area centre
_:system canthelp _:search/4fc35491
_:search/4fc35491 food corsica
_:search/4fc35491 type Restaurant
_:user inquired _:system
_:search food korean
_:search type Restaurant
_:result food korean
_:result name little seoul
_:result area centre
_:result type Restaurant
_:system greeted _:user
_:search area centre
_:system canthelp _:search/4fc35491
_:search/4fc35491 food corsica
_:search/4fc35491 type Restaurant
_:user inquired _:system
_:result food korean
_:result area centre
_:result name little seoul
_:result type Restaurant
_:search food korean
_:search type Restaurant
_:system greeted _:user
_:search area centre
_:system canthelp _:search/4fc35491
_:search/4fc35491 food corsica
_:search/4fc35491 type Restaurant
_:user inquired _:system
_:result area centre
_:search food korean
_:search type Restaurant
_:result food korean
_:result name little seoul
_:result type Restaurant
_:result address ?
_:result phone ?
_:system greeted _:user
_:search area centre
_:system canthelp _:search/4fc35491
_:search/4fc35491 food corsica
_:search/4fc35491 type Restaurant
_:user inquired _:system
_:result area centre
_:search food korean
_:search type Restaurant
_:result food korean
_:result address 108 regent street city centre
_:result name little seoul
_:result phone 01223 308681
_:result type Restaurant
_:user thanked _:system
_:user dismissed _:system