inform((_:search,leave_at,'16:45');(_:search,type,'Taxi'))
user
I would like to get a taxi to pick me up after 16:45 .
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Taxi'))
system
We can make that happen , but first I 'll need to know your departure and destination locations .
inform((_:search,departure,'nirala');(_:search,destination,'jesus college');(_:search,type,'Taxi'))
user
I will be going to Jesus College from the Nirala .
inform((_:result,car,'blue volvo');(_:result,type,'Taxi'))
system
Okay . A blue volvo is booked for you .
request((_:result,phone,?);(_:result,type,'Taxi'))
user
Great , I will also need their contact number please .
inform((_:result,phone,'07047852975');(_:result,type,'Taxi')) reqmore()
system
Yes , the contact number is 07047852975 . Is there anything else you need ?
thank()
user
That 's all , thank you so much !
system
You 're very welcome . Please contact us again if you need anything else .
_:search leave_at 16:45
_:search type Taxi
_:search leave_at 16:45
_:search departure nirala
_:search destination jesus college
_:search type Taxi
_:search leave_at 16:45
_:search departure nirala
_:search destination jesus college
_:search type Taxi
_:result car blue volvo
_:result type Taxi
_:result phone ?
_:search leave_at 16:45
_:search departure nirala
_:search destination jesus college
_:search type Taxi
_:result car blue volvo
_:result phone 07047852975
_:result type Taxi
_:system inquired _:user