inform((_:search,departure,'nandos city centre');(_:search,type,'Taxi'))
user
I 'll be needing a taxi from nandos city centre
request((_:search,destination,?);(_:search,type,'Taxi'))
system
Where will you be heading to ?
inform((_:search,destination,'castle galleries');(_:search,type,'Taxi'))
user
I need to go to the castle galleries .
request((_:search,leave_at,?);(_:search,type,'Taxi'))
system
What time would you like to leave ?
inform((_:search,leave_at,'04:30');(_:search,type,'Taxi'))
user
I need to leave after 04:30 .
inform((_:result,car,'blue toyota');(_:result,phone,'07920865012');(_:result,type,'Taxi'))
system
Booking completed ! 
 Booked car type 	 : 	 blue toyota 
 Contact number 	 : 	 07920865012
thank()
user
Ok thanks , that 's all i need .
system
thank you for all you re help that will be all
_:search departure nandos city centre
_:search type Taxi
_:search departure nandos city centre
_:search destination castle galleries
_:search type Taxi
_:search departure nandos city centre
_:search destination castle galleries
_:search leave_at 04:30
_:search type Taxi
_:search departure nandos city centre
_:search destination castle galleries
_:search leave_at 04:30
_:search type Taxi
_:result car blue toyota
_:result phone 07920865012
_:result type Taxi