inform((_:search,destination,'cambridge punter');(_:search,type,'Taxi'))
user
I need a taxi to take me to the cambridge punter please
request((_:search,arrive_by,?);(_:search,destination,?);(_:search,type,'Taxi'))
system
I need a cab to take me to the cambridge punter with an arrival time of 02:00
inform((_:search,type,'Taxi')) request((_:result,departure,?);(_:result,destination,?);(_:result,type,'Taxi'))
user
I think you 're mistaken . I need a taxi going to cambridge punter
system
Booking completed ! 
 Booked car type 	 : 	 grey skoda 
 Contact number 	 : 	 07749752500
_:search destination cambridge punter
_:search type Taxi
_:search arrive_by ?
_:search destination ?
_:search type Taxi
_:result departure ?
_:result destination ?
_:result type Taxi