inform((_:search,area,'centre');(_:search,pricerange,'moderate');(_:search,type,'Restaurant'))
user
I would like a restaurant in the centre and in the moderate price range .
inform((_:result,food,'Asian Oriental');(_:result,name,'Yippee Noodle Bar');(_:result,pricerange,'moderate');(_:result,type,'Restaurant'))
system
The Yippee Noodle Bar is a moderate priced Asian Oriental restaurant .   Does that sound good ?
inform((_:search,food,'modern european');(_:search,type,'Restaurant'))
user
No , the restaurant should serve modern european food .
select((_:result,name,'De Luca Cucina and Bar');(_:result,name,'Riverside Brasserie');(_:result,type,'Restaurant')) inform((_:result,amount,'at least two');(_:result,area,'center');(_:result,type,'Restaurant'))
system
Sure I have at least two choices for you . One is the De Luca Cucina and Bar and the other is the Riverside Brasserie . Both are located in the center . Would either of them interest you ?
inform((_:search,type,'Restaurant'))
user
Let 's try the Brasserie .
request((_:booking,day,?);(_:booking,duration,?);(_:booking,people,?);(_:booking,type,'Booking'))
system
If you 'd like a reservation I will need to know what day and time you 'd like your reservation and how many will be in your party .
inform((_:search,day,'thursday');(_:search,duration,'13:15');(_:search,people,'1');(_:search,type,'Restaurant'))
user
Just 1 person at 13:15 on thursday
inform((_:booking,ref,'IVGZLYTZ');(_:booking,type,'Booking'))
system
You 're all set your reference number is IVGZLYTZ
thank()
user
Thanks .   That 's all I need !
system
Alright , thank you . Goodbye !
_:search area centre
_:search pricerange moderate
_:search type Restaurant
_:search area centre
_:search pricerange moderate
_:result food Asian Oriental
_:result name Yippee Noodle Bar
_:result pricerange moderate
_:result type Restaurant
_:search food modern european
_:search type Restaurant
_:search area centre
_:search pricerange moderate
_:result food Asian Oriental
_:result pricerange moderate
_:search food modern european
_:result name De Luca Cucina and Bar
_:result name Riverside Brasserie
_:result amount at least two
_:result area center
_:result type Restaurant
_:search type Restaurant
_:search area centre
_:search pricerange moderate
_:result food Asian Oriental
_:result pricerange moderate
_:search food modern european
_:result name De Luca Cucina and Bar
_:result name Riverside Brasserie
_:result amount at least two
_:result area center
_:result type Restaurant
_:booking day ?
_:booking duration ?
_:booking people ?
_:booking type Booking
_:search day thursday
_:search duration 13:15
_:search people 1
_:search type Restaurant
_:search area centre
_:search pricerange moderate
_:result food Asian Oriental
_:result pricerange moderate
_:search food modern european
_:result name De Luca Cucina and Bar
_:result name Riverside Brasserie
_:result amount at least two
_:result area center
_:result type Restaurant
_:booking day ?
_:booking duration ?
_:booking people ?
_:search day thursday
_:search duration 13:15
_:search people 1
_:search type Restaurant
_:booking ref IVGZLYTZ
_:booking type Booking