inform((_:search,departure,'club salsa');(_:search,leave_at,'06:15');(_:search,type,'Taxi'))
user
I am at Club Salsa and I need to book a taxi to leave after 06:15 .
request((_:search,destination,?);(_:search,type,'Taxi'))
system
Sure ! What is your destination ?
inform((_:search,destination,'cambridge arts theatre');(_:search,type,'Taxi'))
user
I need to go to the Cambridge arts theatre .
inform((_:result,car,'black honda');(_:result,type,'Taxi'))
system
Your booking is all set . A black honda will be picking you up .
thank()
user
Wonderful , thanks for your help .
system
You 're welcome . Have a good time !
_:search departure club salsa
_:search leave_at 06:15
_:search type Taxi
_:search departure club salsa
_:search leave_at 06:15
_:search destination cambridge arts theatre
_:search type Taxi
_:search departure club salsa
_:search leave_at 06:15
_:search destination cambridge arts theatre
_:search type Taxi
_:result car black honda
_:result type Taxi