inform((_:search,area,'centre');(_:search,pricerange,'moderately');(_:search,type,'Restaurant'))
user
Can you help me find a moderately priced place to eat located in the centre ?
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,amount,'many');(_:result,type,'Restaurant'))
system
Certainly , there are many restaurants that fit that criteria . Do you have a food type preference ?
inform((_:search,food,'international');(_:search,type,'Restaurant'))
user
Yes , do any serve international food ?
select((_:result,name,'The varsity restaurant');(_:result,name,'bloomsberry');(_:result,type,'Restaurant')) inform((_:result,count,'2');(_:result,food,'international');(_:result,pricerange,'moderate');(_:result,type,'Restaurant'))
system
I have 2 . The varsity restaurant and bloomsberry . Both serve international food and are in the moderate price range . Do you have a preference ?
inform((_:search,day,'monday');(_:search,duration,'17:15');(_:search,people,'5');(_:search,type,'Restaurant'))
user
Can you check to see if either has booking for 5 people at 17:15 on monday ?
canthelp((_:booking,type,'Booking')) request((_:booking,duration,?);(_:booking,type,'Booking'))
system
Neither are available at that time . Would you like to try a different time ?
inform((_:search,area,'centre');(_:search,day,'monday');(_:search,duration,'17:15');(_:search,food,*);(_:search,pricerange,'moderate');(_:search,type,'Restaurant'))
user
No , I need 17:15 on Monday .   Perhaps a different restaurant in the centre with moderate prices ?   Any cuisine is fine .
inform((_:booking,name,'yippee noodle bar');(_:booking,ref,'E6ERFBKG');(_:booking,type,'Booking'))
system
I was able to book you for the yippee noodle bar , your reference number is E6ERFBKG
thank()
user
Thank you and goodbye
system
Good bye to you , let us know if you need us again .
_:search area centre
_:search pricerange moderately
_:search type Restaurant
_:search area centre
_:search pricerange moderately
_:result amount many
_:result type Restaurant
_:search food international
_:search type Restaurant
_:search area centre
_:search pricerange moderately
_:result amount many
_:search food international
_:result name The varsity restaurant
_:result name bloomsberry
_:result count 2
_:result food international
_:result pricerange moderate
_:result type Restaurant
_:search day monday
_:search duration 17:15
_:search people 5
_:search type Restaurant
_:result amount many
_:result name The varsity restaurant
_:result name bloomsberry
_:result count 2
_:result food international
_:result pricerange moderate
_:result type Restaurant
_:search people 5
_:system canthelp _:booking/305da8de
_:booking/305da8de type Booking
_:booking duration ?
_:booking type Booking
_:search area centre
_:search day monday
_:search duration 17:15
_:search food *
_:search pricerange moderate
_:search type Restaurant
_:result amount many
_:result name The varsity restaurant
_:result name bloomsberry
_:result count 2
_:result food international
_:result pricerange moderate
_:result type Restaurant
_:search people 5
_:system canthelp _:booking/305da8de
_:booking/305da8de type Booking
_:booking duration ?
_:search area centre
_:search day monday
_:search duration 17:15
_:search food *
_:search pricerange moderate
_:search type Restaurant
_:booking name yippee noodle bar
_:booking ref E6ERFBKG
_:booking type Booking