inform((_:search,type,'Taxi'))
user
Book a taxi
request((_:search,arrive_by,?);(_:search,departure,?);(_:search,destination,?);(_:search,leave_at,?);(_:search,type,'Taxi'))
system
Okay . I will need your departure site , destination , and a time please .
inform((_:search,departure,'allenbell');(_:search,destination,'mumford theatre');(_:search,leave_at,'16:45');(_:search,type,'Taxi'))
user
I want to be picked up from allenbell after 16:45 and taken to mumford theatre
request((_:search,arrive_by,?);(_:search,type,'Taxi'))
system
Do you need to arrive by a certain time ?
inform((_:search,leave_at,'16:45');(_:search,type,'Taxi'))
user
As long as I am picked up after 16:45 I will have plenty of time to arrive .
system
Booking completed ! 
 Booked car type 	 : 	 blue ford 
 Contact number 	 : 	 07021649263
_:search type Taxi
_:search arrive_by ?
_:search departure allenbell
_:search destination mumford theatre
_:search leave_at 16:45
_:search type Taxi
_:search departure allenbell
_:search destination mumford theatre
_:search arrive_by ?
_:search leave_at 16:45
_:search type Taxi