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?
inform((_:search,area,'south');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
cheap restaurant south part of town
request((_:search,food,?);(_:search,type,'Restaurant'))
system
What kind of food would you like?
inform((_:search,food,*);(_:search,type,'Restaurant'))
user
any type
inform((_:result,area,'south');(_:result,name,'nandos');(_:result,pricerange,'cheap');(_:result,type,'Restaurant'))
system
nandos is a nice place in the south of town and the prices are cheap
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
phone number
inform((_:result,name,'nandos');(_:result,phone,'01223 327908');(_:result,type,'Restaurant'))
system
The phone number of nandos is 01223 327908 .
request((_:result,food,?);(_:result,type,'Restaurant'))
user
what type of food they serve
inform((_:result,name,'nandos');(_:result,type,'Restaurant'))
system
nandos is a great restaurant
request((_:result,food,?);(_:result,type,'Restaurant'))
user
type of food they served
inform((_:result,name,'nandos');(_:result,type,'Restaurant'))
system
nandos is a great restaurant
user
food type
inform((_:result,area,'south');(_:result,name,'the lucky star');(_:result,pricerange,'cheap');(_:result,type,'Restaurant'))
system
the lucky star is a nice place in the south of town and the prices are cheap
request((_:result,food,?);(_:result,type,'Restaurant')) inform((_:search,name,'nandos');(_:search,type,'Restaurant'))
user
nandos restaurant type of food
inform((_:result,area,'south');(_:result,name,'nandos');(_:result,pricerange,'cheap');(_:result,type,'Restaurant'))
system
nandos is a nice place in the south of town and the prices are cheap
request((_:result,food,?);(_:result,type,'Restaurant'))
user
what type of food is served
inform((_:result,food,'portuguese');(_:result,name,'nandos');(_:result,type,'Restaurant'))
system
nandos serves portuguese food
thanks() bye()
user
thank you good bye
_:system greeted _:user
_:system greeted _:user
_:search area south
_:search pricerange cheap
_:search type Restaurant
_:system greeted _:user
_:search area south
_:search pricerange cheap
_:search food *
_:search type Restaurant
_:system greeted _:user
_:search area south
_:search pricerange cheap
_:search food *
_:search type Restaurant
_:result area south
_:result name nandos
_:result pricerange cheap
_:result type Restaurant
_:result phone ?
_:system greeted _:user
_:search area south
_:search pricerange cheap
_:search food *
_:search type Restaurant
_:result area south
_:result pricerange cheap
_:result name nandos
_:result phone 01223 327908
_:result type Restaurant
_:result food ?
_:system greeted _:user
_:search area south
_:search pricerange cheap
_:search food *
_:search type Restaurant
_:result area south
_:result pricerange cheap
_:result phone 01223 327908
_:result food ?
_:result name nandos
_:result type Restaurant
_:system greeted _:user
_:search area south
_:search pricerange cheap
_:search food *
_:search type Restaurant
_:result area south
_:result pricerange cheap
_:result phone 01223 327908
_:result food ?
_:result name nandos
_:result type Restaurant
_:system greeted _:user
_:search area south
_:search pricerange cheap
_:search food *
_:result phone 01223 327908
_:result food ?
_:result area south
_:result name the lucky star
_:result pricerange cheap
_:result type Restaurant
_:search name nandos
_:search type Restaurant
_:system greeted _:user
_:search area south
_:search pricerange cheap
_:search food *
_:result phone 01223 327908
_:result food ?
_:search name nandos
_:search type Restaurant
_:result area south
_:result name nandos
_:result pricerange cheap
_:result type Restaurant
_:system greeted _:user
_:search area south
_:search pricerange cheap
_:search food *
_:result phone 01223 327908
_:search name nandos
_:search type Restaurant
_:result area south
_:result pricerange cheap
_:result food portuguese
_:result name nandos
_:result type Restaurant
_:user thanked _:system
_:user dismissed _:system