inform((_:search,destination,'cocum');(_:search,type,'Taxi'))
user
Hi I want to book a taxi from cocum leaving after 9 am .
request((_:search,destination,?);(_:search,type,'Taxi'))
system
What is your destination please ?
inform((_:search,departure,'Cocum');(_:search,destination,"hobson 's house");(_:search,type,'Taxi')) request((_:result,car,?);(_:result,type,'Taxi'))
user
I 'd like to go from Cocum to Hobson 's House . I also need the car type and contact number .
inform((_:result,car,'white skoda');(_:result,phone,'07557776784');(_:result,type,'Taxi'))
system
Of course , your taxi is reserved , the vehicle will be a white skoda and the contact phone number is 07557776784
thank()
user
Thank you so much .   That is all that I need today !
system
You 're welcome . Goodbye !
_:search destination cocum
_:search type Taxi
_:search departure Cocum
_:search destination hobson 's house
_:search type Taxi
_:result car ?
_:result type Taxi
_:search departure Cocum
_:search destination hobson 's house
_:search type Taxi
_:result car white skoda
_:result phone 07557776784
_:result type Taxi