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,area,'south');(_:search,type,'Restaurant'))
user
looking for a restaurant in the south part of town
request((_:search,food,?);(_:search,type,'Restaurant'))
system
What kind of food would you like?
inform((_:search,food,'european');(_:search,type,'Restaurant'))
user
european food
canthelp((_:search,area,'south');(_:search,food,'european');(_:search,type,'Restaurant'))
system
Sorry there is no european restaurant in the south of town
reqalts() inform((_:search,area,*);(_:search,type,'Restaurant'))
user
how about in any area
canthelp((_:search,area,'south');(_:search,food,'european');(_:search,type,'Restaurant'))
system
Sorry there is no european restaurant in the south of town
inform((_:search,area,*);(_:search,type,'Restaurant'))
user
any area
canthelp((_:search,area,'south');(_:search,food,'european');(_:search,type,'Restaurant'))
system
Sorry there is no european restaurant in the south of town
reqalts() inform((_:search,area,*);(_:search,type,'Restaurant'))
user
how about in any area
inform((_:result,area,'centre');(_:result,food,'european');(_:result,name,'michaelhouse cafe');(_:result,type,'Restaurant'))
system
michaelhouse cafe is a nice restaurant in the centre of town serving european food
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
phone number
inform((_:result,name,'michaelhouse cafe');(_:result,phone,'01223 309147');(_:result,type,'Restaurant'))
system
The phone number of michaelhouse cafe is 01223 309147 .
thanks() bye()
user
thank you good bye
_:system greeted _:user
_:search area south
_:search type Restaurant
_:system greeted _:user
_:search area south
_:search food european
_:search type Restaurant
_:system greeted _:user
_:search food european
_:system canthelp _:search/5bbe61ee
_:search/5bbe61ee area south
_:search/5bbe61ee food european
_:search/5bbe61ee type Restaurant
_:user inquired _:system
_:search area *
_:search type Restaurant
_:system greeted _:user
_:search food european
_:system canthelp _:search/5bbe61ee
_:search/5bbe61ee area south
_:search/5bbe61ee food european
_:search/5bbe61ee type Restaurant
_:user inquired _:system
_:system canthelp _:search/94f89f18
_:search/94f89f18 area south
_:search/94f89f18 food european
_:search/94f89f18 type Restaurant
_:search area *
_:search type Restaurant
_:system greeted _:user
_:search food european
_:system canthelp _:search/5bbe61ee
_:search/5bbe61ee area south
_:search/5bbe61ee food european
_:search/5bbe61ee type Restaurant
_:system canthelp _:search/94f89f18
_:search/94f89f18 area south
_:search/94f89f18 food european
_:search/94f89f18 type Restaurant
_:system canthelp _:search/c280502f
_:search/c280502f area south
_:search/c280502f food european
_:search/c280502f type Restaurant
_:user inquired _:system
_:search area *
_:search type Restaurant
_:system greeted _:user
_:search food european
_:system canthelp _:search/5bbe61ee
_:search/5bbe61ee area south
_:search/5bbe61ee food european
_:search/5bbe61ee type Restaurant
_:system canthelp _:search/94f89f18
_:search/94f89f18 area south
_:search/94f89f18 food european
_:search/94f89f18 type Restaurant
_:system canthelp _:search/c280502f
_:search/c280502f area south
_:search/c280502f food european
_:search/c280502f type Restaurant
_:user inquired _:system
_:search area *
_:search type Restaurant
_:result area centre
_:result food european
_:result name michaelhouse cafe
_:result type Restaurant
_:result phone ?
_:system greeted _:user
_:search food european
_:system canthelp _:search/5bbe61ee
_:search/5bbe61ee area south
_:search/5bbe61ee food european
_:search/5bbe61ee type Restaurant
_:system canthelp _:search/94f89f18
_:search/94f89f18 area south
_:search/94f89f18 food european
_:search/94f89f18 type Restaurant
_:system canthelp _:search/c280502f
_:search/c280502f area south
_:search/c280502f food european
_:search/c280502f type Restaurant
_:user inquired _:system
_:search area *
_:search type Restaurant
_:result area centre
_:result food european
_:result name michaelhouse cafe
_:result phone 01223 309147
_:result type Restaurant
_:user thanked _:system
_:user dismissed _:system