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,'korean');(_:search,type,'Restaurant'))
user
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
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,phone,?);(_:result,type,'Restaurant'))
user
phone number
inform((_:result,name,'little seoul');(_:result,phone,'01223 308681');(_:result,type,'Restaurant'))
system
The phone number of little seoul is 01223 308681 .
request((_:result,postcode,?);(_:result,type,'Restaurant'))
user
post code
inform((_:result,name,'little seoul');(_:result,postcode,'c.b 2');(_:result,type,'Restaurant'))
system
The post code of little seoul is C.B 2, 1 D.P
bye()
user
good bye
_:system greeted _:user
_:search food korean
_:search type Restaurant
_:system greeted _:user
_:search food korean
_:search type Restaurant
_:result food korean
_:result name little seoul
_:result type Restaurant
_:result address ?
_:system greeted _:user
_:search food korean
_:search type Restaurant
_:result food korean
_:result address 108 regent street city centre
_:result name little seoul
_:result type Restaurant
_:result phone ?
_:system greeted _:user
_: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
_:result postcode ?
_:system greeted _:user
_:search food korean
_:search type Restaurant
_:result food korean
_:result address 108 regent street city centre
_:result phone 01223 308681
_:result name little seoul
_:result postcode c.b 2
_:result type Restaurant
_:user dismissed _:system