inform((_:search,type,'Taxi'))
user
I need a taxi today
request((_:search,departure,?);(_:search,type,'Taxi'))
system
Sure ! what is your departure site ?
inform((_:search,departure,'broughton house gallery');(_:search,type,'Taxi'))
user
I need to leave from broughton house gallery
request((_:search,arrive_by,?);(_:search,type,'Taxi'))
system
Sure ! when would you like to arrive ?
inform((_:search,arrive_by,'16:30');(_:search,type,'Taxi'))
user
I really need to get there by 16:30 please .
request((_:search,destination,?);(_:search,type,'Taxi'))
system
Ok , and what is your destination ?
inform((_:search,destination,'downing college');(_:search,type,'Taxi'))
user
My destination is downing college .
inform((_:result,car,'yellow skoda');(_:result,phone,'07614934136');(_:result,type,'Taxi'))
system
Your booking is complete .   The car type is a yellow skoda and the contact number is 07614934136 .
thank()
user
That 's all I need , thanks !
system
You 're welcome .   Have a great night !
_:search type Taxi
_:search departure broughton house gallery
_:search type Taxi
_:search departure broughton house gallery
_:search arrive_by 16:30
_:search type Taxi
_:search departure broughton house gallery
_:search arrive_by 16:30
_:search destination downing college
_:search type Taxi
_:search departure broughton house gallery
_:search arrive_by 16:30
_:search destination downing college
_:search type Taxi
_:result car yellow skoda
_:result phone 07614934136
_:result type Taxi