inform((_:search,leave_at,'21:00');(_:search,type,'Taxi'))
user
I need a taxi leaving after 21:00 .
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Taxi'))
system
Where will you be leaving from and what is your destination ?
inform((_:search,departure,'scudamores punting co');(_:search,destination,'the slug and lettuce');(_:search,type,'Taxi'))
user
I am leaving from scudamores punting co and want to go to the slug and lettuce .
inform((_:result,arrive_by,'21:00');(_:result,car,'yellow tesla');(_:result,phone,'07398361286');(_:result,type,'Taxi'))
system
Booking completed ! A yellow tesla will be arriving at 21:00 .   The contact number is 07398361286 . Thank You !
thank()
user
Ok , thank you have a great day !
system
You as well !
_:search leave_at 21:00
_:search type Taxi
_:search leave_at 21:00
_:search departure scudamores punting co
_:search destination the slug and lettuce
_:search type Taxi
_:search leave_at 21:00
_:search departure scudamores punting co
_:search destination the slug and lettuce
_:search type Taxi
_:result arrive_by 21:00
_:result car yellow tesla
_:result phone 07398361286
_:result type Taxi