inform((_:search,departure,'backstreet bistro');(_:search,leave_at,'14:15');(_:search,type,'Taxi'))
user
Can you find me a taxi from backstreet bistro ? I ca n't leave until after 14:15 .
request((_:search,destination,?);(_:search,type,'Taxi'))
system
Ok , what is your destination ?
inform((_:search,destination,'cineworld cinema');(_:search,type,'Taxi'))
user
I want to be taken to cineworld cinema
request((_:search,arrive_by,?);(_:search,type,'Taxi'))
system
When do you need to arrive ?
inform((_:search,arrive_by,'15');(_:search,type,'Taxi')) request((_:result,car,?);(_:result,type,'Taxi'))
user
By 15 00 and I need car type and contact number
inform((_:result,car,'black skoda');(_:result,phone,'07336608269');(_:result,type,'Taxi'))
system
Booking completed ! 
 Booked car type 	 : 	 black skoda 
 Contact number 	 : 	 07336608269
thank()
user
Thanks for all your help . Goodbye .
system
What time do you need to be at the cineworld Cinema ?
_:search departure backstreet bistro
_:search leave_at 14:15
_:search type Taxi
_:search departure backstreet bistro
_:search leave_at 14:15
_:search destination cineworld cinema
_:search type Taxi
_:search departure backstreet bistro
_:search leave_at 14:15
_:search destination cineworld cinema
_:search arrive_by 15
_:search type Taxi
_:result car ?
_:result type Taxi
_:search departure backstreet bistro
_:search leave_at 14:15
_:search destination cineworld cinema
_:search arrive_by 15
_:search type Taxi
_:result car black skoda
_:result phone 07336608269
_:result type Taxi