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?
user
sil
request((_:search,area,?);(_:search,type,'Restaurant'))
system
What part of town do you have in mind?
user
sil
select((_:result,area,'east');(_:result,area,'west'))
system
Sorry would you like something in the west or in the east
inform((_:search,food,'thai');(_:search,pricerange,'moderate');(_:search,type,'Restaurant'))
user
moderately priced restaurant that serves thai food
select((_:result,area,'east');(_:result,area,'west'))
system
Sorry would you like something in the west or in the east
inform((_:search,area,*);(_:search,type,'Restaurant'))
user
any
inform((_:result,name,'yippee noodle bar');(_:result,pricerange,'moderate');(_:result,type,'Restaurant'))
system
yippee noodle bar is in the moderate price range
request((_:result,address,?);(_:result,type,'Restaurant'))
user
whats the address
inform((_:result,address,'40428 king street city centre');(_:result,name,'yippee noodle bar');(_:result,type,'Restaurant'))
system
Sure , yippee noodle bar is on 40428 King Street City Centre
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
phone number
inform((_:result,name,'yippee noodle bar');(_:result,phone,'01223 518111');(_:result,type,'Restaurant'))
system
The phone number of yippee noodle bar is 01223 518111 .
request((_:result,food,?);(_:result,type,'Restaurant'))
user
what type of food
inform((_:result,food,'asian oriental');(_:result,name,'yippee noodle bar');(_:result,type,'Restaurant'))
system
yippee noodle bar serves asian oriental food
thanks() bye()
user
thank you good bye
_:system greeted _:user
_:system greeted _:user
_:search area ?
_:search type Restaurant
_:system greeted _:user
_:search area ?
_:result area east
_:result area west
_:search food thai
_:search pricerange moderate
_:search type Restaurant
_:system greeted _:user
_:search food thai
_:search pricerange moderate
_:result area east
_:result area west
_:search area *
_:search type Restaurant
_:system greeted _:user
_:search food thai
_:search pricerange moderate
_:result area east
_:result area west
_:search area *
_:search type Restaurant
_:result name yippee noodle bar
_:result pricerange moderate
_:result type Restaurant
_:result address ?
_:system greeted _:user
_:search food thai
_:search pricerange moderate
_:result area east
_:result area west
_:search area *
_:search type Restaurant
_:result pricerange moderate
_:result address 40428 king street city centre
_:result name yippee noodle bar
_:result type Restaurant
_:result phone ?
_:system greeted _:user
_:search food thai
_:search pricerange moderate
_:result area east
_:result area west
_:search area *
_:search type Restaurant
_:result pricerange moderate
_:result address 40428 king street city centre
_:result name yippee noodle bar
_:result phone 01223 518111
_:result type Restaurant
_:result food ?
_:system greeted _:user
_:search food thai
_:search pricerange moderate
_:result area east
_:result area west
_:search area *
_:search type Restaurant
_:result pricerange moderate
_:result address 40428 king street city centre
_:result phone 01223 518111
_:result food asian oriental
_:result name yippee noodle bar
_:result type Restaurant
_:user thanked _:system
_:user dismissed _:system