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,pricerange,'expensive');(_:search,type,'Restaurant'))
user
expensive restaurant
request((_:search,area,?);(_:search,type,'Restaurant'))
system
What part of town do you have in mind?
inform((_:search,food,'thai');(_:search,type,'Restaurant'))
user
thai food
request((_:search,area,?);(_:search,type,'Restaurant'))
system
What part of town do you have in mind?
inform((_:search,area,*);(_:search,type,'Restaurant'))
user
any
request((_:search,food,?);(_:search,type,'Restaurant'))
system
What kind of food would you like?
inform((_:search,food,'thai');(_:search,type,'Restaurant'))
user
thai food
confirm((_:search,food,*);(_:search,type,'Restaurant'))
system
You are looking for a restaurant serving any kind of food right?
negate()
user
no
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,name,'wagamama');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
wagamama is in the expensive price range
inform((_:search,food,'thai');(_:search,type,'Restaurant'))
user
thai food
inform((_:result,name,'bedouin');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
bedouin is in the expensive price range
inform((_:search,food,'thai');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
expensive restaurant thai food
inform((_:result,name,'wagamama');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
wagamama is in the expensive price range
request((_:result,address,?);(_:result,type,'Restaurant'))
user
address
inform((_:result,address,'36 saint andrews street');(_:result,name,'wagamama');(_:result,type,'Restaurant'))
system
Sure , wagamama is on 36 Saint Andrews Street
request((_:result,postcode,?);(_:result,type,'Restaurant'))
user
post code
inform((_:result,name,'wagamama');(_:result,postcode,'c.b 2');(_:result,type,'Restaurant'))
system
The post code of wagamama is C.B 2, 3 A.R
thanks() bye()
user
thank you good bye
_:system greeted _:user
_:search pricerange expensive
_:search type Restaurant
_:system greeted _:user
_:search pricerange expensive
_:search area ?
_:search food thai
_:search type Restaurant
_:system greeted _:user
_:search pricerange expensive
_:search food thai
_:search area *
_:search type Restaurant
_:system greeted _:user
_:search pricerange expensive
_:search area *
_:search food thai
_:search type Restaurant
_:system greeted _:user
_:search pricerange expensive
_:search area *
_:search food thai
_:search type Restaurant
_:system greeted _:user
_:search area *
_:search food thai
_:search pricerange expensive
_:search type Restaurant
_:system greeted _:user
_:search area *
_:search pricerange expensive
_:result name wagamama
_:result pricerange expensive
_:result type Restaurant
_:search food thai
_:search type Restaurant
_:system greeted _:user
_:search area *
_:result name bedouin
_:result pricerange expensive
_:result type Restaurant
_:search food thai
_:search pricerange expensive
_:search type Restaurant
_:system greeted _:user
_:search area *
_:search food thai
_:search pricerange expensive
_:search type Restaurant
_:result name wagamama
_:result pricerange expensive
_:result type Restaurant
_:result address ?
_:system greeted _:user
_:search area *
_:search food thai
_:search pricerange expensive
_:search type Restaurant
_:result pricerange expensive
_:result address 36 saint andrews street
_:result name wagamama
_:result type Restaurant
_:result postcode ?
_:system greeted _:user
_:search area *
_:search food thai
_:search pricerange expensive
_:search type Restaurant
_:result pricerange expensive
_:result address 36 saint andrews street
_:result name wagamama
_:result postcode c.b 2
_:result type Restaurant
_:user thanked _:system
_:user dismissed _:system