hello()
system
hello , welcome to the restaurant information system . you can ask for restaurant -s by area , price range or food type . how may i help you ?
user
the moderate price range
confirm((_:result,good_for_meal,'lunch');(_:result,type,'Restaurant'))
system
let me confirm you are looking for a place good for lunch
user
yes
confirm((_:result,food,'new american');(_:result,type,'Restaurant'))
system
you are looking for a new american restaurant right ?
user
no moderate restaurant
inform((_:result,count,'12');(_:result,good_for_meal,'lunch');(_:result,pricerange,'moderate');(_:result,type,'Restaurant');(_:result,type,'restaurant'))
system
there are 12 restaurant -s good for lunch and in the moderate price range .
user
select((_:result,kids_allowed,'no');(_:result,kids_allowed,'yes'))
system
what is your preference as to whether it allows child -s
user
allows children
inform((_:result,kids_allowed,'yes');(_:result,name,'san tung chinese restaurant');(_:result,type,'Restaurant'))
system
san tung chinese restaurant is a nice place where child -s are allowed .
user
you
inform((_:result,good_for_meal,'lunch');(_:result,kids_allowed,'yes');(_:result,name,'delancey street restaurant');(_:result,pricerange,'moderate');(_:result,type,'Restaurant'))
system
delancey street restaurant is a nice place , it is good for lunch , it is in the moderate price range and where child -s are allowed .
user
okay thank you
inform((_:result,good_for_meal,'lunch');(_:result,kids_allowed,'yes');(_:result,name,'chow');(_:result,pricerange,'moderate');(_:result,type,'Restaurant'))
system
chow is a nice place , it is good for lunch , it is in the moderate price range and where child -s are allowed .
user
okay thank you goodbye
bye()
system
goodbye
user
_:system greeted _:user
_:system greeted _:user
_:system greeted _:user
_:system greeted _:user
_:result count 12
_:result good_for_meal lunch
_:result pricerange moderate
_:result type Restaurant
_:result type restaurant
_:system greeted _:user
_:result count 12
_:result good_for_meal lunch
_:result pricerange moderate
_:result type Restaurant
_:result type restaurant
_:result kids_allowed no
_:result kids_allowed yes
_:system greeted _:user
_:result count 12
_:result good_for_meal lunch
_:result pricerange moderate
_:result kids_allowed yes
_:result name san tung chinese restaurant
_:result type Restaurant
_:system greeted _:user
_:result count 12
_:result good_for_meal lunch
_:result kids_allowed yes
_:result name delancey street restaurant
_:result pricerange moderate
_:result type Restaurant
_:system greeted _:user
_:result count 12
_:result good_for_meal lunch
_:result kids_allowed yes
_:result name chow
_:result pricerange moderate
_:result type Restaurant
_:system greeted _:user
_:result count 12
_:result good_for_meal lunch
_:result kids_allowed yes
_:result name chow
_:result pricerange moderate
_:result type Restaurant
_:system dismissed _:user