inform((_:search,departure,'ballare');(_:search,destination,'hobsons house');(_:search,type,'Taxi'))
user
I am at Ballare . I need a taxi to take me to Hobsons House .
request((_:search,departure,?);(_:search,type,'Taxi'))
system
Sure ! When do you want to leave ?
inform((_:search,arrive_by,'17:45');(_:search,type,'Taxi'))
user
I need to get there by 17:45 .
inform((_:result,car,'yellow honda');(_:result,phone,'07660102698');(_:result,type,'Taxi'))
system
Booking completed ! 
 Booked car type 	 : 	 yellow honda 
 Contact number 	 : 	 07660102698
thank()
user
Thank you so much for your help , that 's all I needed today .
system
My pleasure . Thank you for contacting Cambridge TownInfo centre . Have a nice visit .
_:search departure ballare
_:search destination hobsons house
_:search type Taxi
_:search destination hobsons house
_:search departure ?
_:search arrive_by 17:45
_:search type Taxi
_:search destination hobsons house
_:search departure ?
_:search arrive_by 17:45
_:search type Taxi
_:result car yellow honda
_:result phone 07660102698
_:result type Taxi