inform((_:search,destination,'royal standard');(_:search,leave_at,'03:30');(_:search,type,'Taxi'))
user
I would like to book a taxi to Royal Standard , leaving after 03:30
request((_:search,destination,?);(_:search,type,'Taxi'))
system
Okay and what will your destination be ?
inform((_:search,departure,'tenpin');(_:search,destination,'Royal standard');(_:search,type,'Taxi'))
user
I will be going to the Royal standard , leaving from the Tenpin .
inform((_:result,car,'grey volkswagen');(_:result,phone,'07183817206');(_:result,type,'Taxi')) reqmore()
system
Great ! Look for a grey volkswagen . The contact number is 07183817206 . May I help with anything else ?
thank()
user
No , that 'll be it . Thank you .
system
No problem , thanks for contacting us .
_:search destination royal standard
_:search leave_at 03:30
_:search type Taxi
_:search leave_at 03:30
_:search departure tenpin
_:search destination Royal standard
_:search type Taxi
_:search leave_at 03:30
_:search departure tenpin
_:search destination Royal standard
_:search type Taxi
_:result car grey volkswagen
_:result phone 07183817206
_:result type Taxi
_:system inquired _:user