inform((_:search,departure,'Ian Hong House');(_:search,leave_at,'14:45');(_:search,type,'Taxi'))
user
I need a taxi at Ian Hong House to leave by 14:45 .
request((_:search,destination,?);(_:search,type,'Taxi'))
system
Okay , what is your destination ?
inform((_:search,destination,'leicester train station');(_:search,type,'Taxi'))
user
I want to go to the Leicester Train Station .
inform((_:result,car,'white Honda');(_:result,phone,'07040297067');(_:result,type,'Taxi'))
system
Have you in a white Honda , 07040297067 is the phone number .
thank()
user
Thanks for the quick response .
system
Have a great day !
_:search departure Ian Hong House
_:search leave_at 14:45
_:search type Taxi
_:search departure Ian Hong House
_:search leave_at 14:45
_:search destination leicester train station
_:search type Taxi
_:search departure Ian Hong House
_:search leave_at 14:45
_:search destination leicester train station
_:search type Taxi
_:result car white Honda
_:result phone 07040297067
_:result type Taxi