inform((_:search,destination,'club salsa');(_:search,type,'Taxi'))
user
I need a taxi to go to club salsa .
request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Taxi'))
system
Sure thing , when would you like to arrive or leave by ?
inform((_:search,arrive_by,'1:30');(_:search,type,'Taxi'))
user
I want to get there by 1:30 .
request((_:search,departure,?);(_:search,type,'Taxi'))
system
Where are you leaving from ?
inform((_:search,departure,'limehouse');(_:search,type,'Taxi'))
user
I will be leaving from Limehouse .
request((_:search,departure,?);(_:search,type,'Taxi'))
system
Where would you like the taxi to meet you for departure ?
inform((_:search,departure,'limehouse');(_:search,type,'Taxi'))
user
I just told you the limehouse .
inform((_:result,car,'white audi');(_:result,phone,'07075850505');(_:result,type,'Taxi'))
system
Booking completed ! 
 Booked car type 	 : 	 white audi 
 Contact number 	 : 	 07075850505
thank()
user
Perfect , thanks for your help !
system
You are quite welcome !
_:search destination club salsa
_:search type Taxi
_:search destination club salsa
_:search leave_at ?
_:search arrive_by 1:30
_:search type Taxi
_:search destination club salsa
_:search leave_at ?
_:search arrive_by 1:30
_:search departure limehouse
_:search type Taxi
_:search destination club salsa
_:search leave_at ?
_:search arrive_by 1:30
_:search departure limehouse
_:search type Taxi
_:search destination club salsa
_:search leave_at ?
_:search arrive_by 1:30
_:search departure limehouse
_:search type Taxi
_:result car white audi
_:result phone 07075850505
_:result type Taxi