inform((_:search,arrive_by,'02:15');(_:search,destination,'scott polar museum');(_:search,type,'Taxi'))
user
Can you get me a taxi that will transport me to scott polar museum by 02:15 ?
request((_:search,departure,?);(_:search,type,'Taxi'))
system
Where are you departing from ?
inform((_:search,departure,'graffiti');(_:search,type,'Taxi'))
user
I 'm leaving the graffiti .
inform((_:result,car,'black Honda');(_:result,phone,'07290394135');(_:result,type,'Taxi')) reqmore()
system
I can have a black Honda pick you up , the contact number is 07290394135 . Can I do anything else for you today ?
thank()
user
No , that settles everything . Thanks !
system
You 're welcome ! Have a good one !
_:search arrive_by 02:15
_:search destination scott polar museum
_:search type Taxi
_:search arrive_by 02:15
_:search destination scott polar museum
_:search departure graffiti
_:search type Taxi
_:search arrive_by 02:15
_:search destination scott polar museum
_:search departure graffiti
_:search type Taxi
_:result car black Honda
_:result phone 07290394135
_:result type Taxi
_:system inquired _:user