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,food,?);(_:search,type,'Restaurant'))
system
What kind of food would you like?
inform((_:search,food,'hungarian');(_:search,type,'Restaurant'))
user
hungarian
inform((_:result,food,'british');(_:result,name,'midsummer house restaurant');(_:result,type,'Restaurant'))
system
midsummer house restaurant serves british food .
inform((_:search,food,'hungarian');(_:search,type,'Restaurant'))
user
hungarian
inform((_:result,area,'centre');(_:result,name,'midsummer house restaurant');(_:result,type,'Restaurant'))
system
midsummer house restaurant is a nice place in the centre of town
negate()
user
no
inform((_:result,name,'midsummer house restaurant');(_:result,type,'Restaurant'))
system
midsummer house restaurant is a great restaurant
inform((_:search,area,'south');(_:search,type,'Restaurant'))
user
south town
inform((_:result,name,'midsummer house restaurant');(_:result,type,'Restaurant'))
system
midsummer house restaurant is a great restaurant
inform((_:search,area,'south');(_:search,type,'Restaurant'))
user
south
inform((_:result,area,'south');(_:result,food,'chinese');(_:result,name,'the good luck chinese food takeaway');(_:result,type,'Restaurant'))
system
the good luck chinese food takeaway is a nice restaurant in the south of town serving chinese food
inform((_:search,food,'hungarian');(_:search,type,'Restaurant'))
user
hungarian food
inform((_:result,area,'south');(_:result,name,'the good luck chinese food takeaway');(_:result,type,'Restaurant'))
system
the good luck chinese food takeaway is a nice place in the south of town
inform((_:search,food,'modern european');(_:search,type,'Restaurant'))
user
modern european
inform((_:result,area,'south');(_:result,food,'modern european');(_:result,name,'restaurant alimentum');(_:result,type,'Restaurant'))
system
restaurant alimentum is a nice restaurant in the south of town serving modern european food
request((_:result,address,?);(_:result,type,'Restaurant'))
user
address
inform((_:result,address,'152 - 154 hills road');(_:result,name,'restaurant alimentum');(_:result,type,'Restaurant'))
system
Sure , restaurant alimentum is on 152 - 154 Hills Road
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
phone number
inform((_:result,name,'restaurant alimentum');(_:result,phone,'01223 413000');(_:result,type,'Restaurant'))
system
The phone number of restaurant alimentum is 01223 413000 .
thanks() bye()
user
thank you good bye
_:system greeted _:user
_:system greeted _:user
_:search food hungarian
_:search type Restaurant
_:system greeted _:user
_:result food british
_:result name midsummer house restaurant
_:result type Restaurant
_:search food hungarian
_:search type Restaurant
_:system greeted _:user
_:result food british
_:search food hungarian
_:search type Restaurant
_:user denied _:result/ca53bfd0
_:result/ca53bfd0 area centre
_:result/ca53bfd0 name midsummer house restaurant
_:result/ca53bfd0 type Restaurant
_:system greeted _:user
_:result food british
_:search food hungarian
_:user denied _:result/ca53bfd0
_:result/ca53bfd0 area centre
_:result/ca53bfd0 name midsummer house restaurant
_:result/ca53bfd0 type Restaurant
_:result name midsummer house restaurant
_:result type Restaurant
_:search area south
_:search type Restaurant
_:system greeted _:user
_:result food british
_:search food hungarian
_:user denied _:result/ca53bfd0
_:result/ca53bfd0 area centre
_:result/ca53bfd0 name midsummer house restaurant
_:result/ca53bfd0 type Restaurant
_:result name midsummer house restaurant
_:result type Restaurant
_:search area south
_:search type Restaurant
_:system greeted _:user
_:user denied _:result/ca53bfd0
_:result/ca53bfd0 area centre
_:result/ca53bfd0 name midsummer house restaurant
_:result/ca53bfd0 type Restaurant
_:search area south
_:result area south
_:result food chinese
_:result name the good luck chinese food takeaway
_:result type Restaurant
_:search food hungarian
_:search type Restaurant
_:system greeted _:user
_:user denied _:result/ca53bfd0
_:result/ca53bfd0 area centre
_:result/ca53bfd0 name midsummer house restaurant
_:result/ca53bfd0 type Restaurant
_:search area south
_:result food chinese
_:result area south
_:result name the good luck chinese food takeaway
_:result type Restaurant
_:search food modern european
_:search type Restaurant
_:system greeted _:user
_:user denied _:result/ca53bfd0
_:result/ca53bfd0 area centre
_:result/ca53bfd0 name midsummer house restaurant
_:result/ca53bfd0 type Restaurant
_:search area south
_:search food modern european
_:search type Restaurant
_:result area south
_:result food modern european
_:result name restaurant alimentum
_:result type Restaurant
_:result address ?
_:system greeted _:user
_:user denied _:result/ca53bfd0
_:result/ca53bfd0 area centre
_:result/ca53bfd0 name midsummer house restaurant
_:result/ca53bfd0 type Restaurant
_:search area south
_:search food modern european
_:search type Restaurant
_:result area south
_:result food modern european
_:result address 152 - 154 hills road
_:result name restaurant alimentum
_:result type Restaurant
_:result phone ?
_:system greeted _:user
_:user denied _:result/ca53bfd0
_:result/ca53bfd0 area centre
_:result/ca53bfd0 name midsummer house restaurant
_:result/ca53bfd0 type Restaurant
_:search area south
_:search food modern european
_:search type Restaurant
_:result area south
_:result food modern european
_:result address 152 - 154 hills road
_:result name restaurant alimentum
_:result phone 01223 413000
_:result type Restaurant
_:user thanked _:system
_:user dismissed _:system