inform((_:search,leave_at,'05:45');(_:search,type,'Taxi'))
user
I need a taxi today after 05:45
request((_:search,departure,?);(_:search,type,'Taxi'))
system
Okay . Where do you want to leave from ?
inform((_:search,departure,'holy trinity church');(_:search,destination,'byard art');(_:search,type,'Taxi'))
user
I 'll need to be picked up at holy trinity church , heading to byard art .
inform((_:result,car,'Red Tesla');(_:result,phone,'746155219');(_:result,type,'Taxi'))
system
I have you all booked . Red Tesla , 746155219 .
thank()
user
Great . Thank you !
reqmore()
system
Can I help with anything else ?
thank()
user
Nope , that should do it . Thanks for your assistance !
system
You have a nice day . Goodbye .
_:search leave_at 05:45
_:search type Taxi
_:search leave_at 05:45
_:search departure holy trinity church
_:search destination byard art
_:search type Taxi
_:search leave_at 05:45
_:search departure holy trinity church
_:search destination byard art
_:search type Taxi
_:result car Red Tesla
_:result phone 746155219
_:result type Taxi
_:search leave_at 05:45
_:search departure holy trinity church
_:search destination byard art
_:search type Taxi
_:result car Red Tesla
_:result phone 746155219
_:result type Taxi
_:system inquired _:user