inform((_:search,destination,'gonville hotel');(_:search,type,'Taxi'))
user
I 'd like for a taxi to take me to gonville hotel today
request((_:search,departure,?);(_:search,type,'Taxi'))
system
And where will you be leaving from ?
inform((_:search,departure,'j restaurant');(_:search,type,'Taxi'))
user
I 'll be departing from j restaurant .
request((_:search,leave_at,?);(_:search,type,'Taxi'))
system
What time would you like to depart at ?
inform((_:search,leave_at,'21:15');(_:search,type,'Taxi'))
user
I 'd like to leave after 21:15 .
inform((_:result,car,'white honda');(_:result,phone,'07694199231');(_:result,type,'Taxi'))
system
Booking completed ! 
 Booked car type 	 : 	 white honda 
 Contact number 	 : 	 07694199231
thank()
user
Great , thank you ! That 's all I need today .
system
You 're quite welcome . Have a lovely trip ! Goodbye .
_:search destination gonville hotel
_:search type Taxi
_:search destination gonville hotel
_:search departure j restaurant
_:search type Taxi
_:search destination gonville hotel
_:search departure j restaurant
_:search leave_at 21:15
_:search type Taxi
_:search destination gonville hotel
_:search departure j restaurant
_:search leave_at 21:15
_:search type Taxi
_:result car white honda
_:result phone 07694199231
_:result type Taxi