inform((_:search,arrive_by,'23:00');(_:search,destination,'holy trinity church');(_:search,type,'Taxi'))
user
i want to book a taxi . The taxi should arrive by 23:00 and should go to holy trinity church .
request((_:search,departure,?);(_:search,type,'Taxi'))
system
Where do you need to be picked up ?
inform((_:search,departure,'rajmahal');(_:search,type,'Taxi'))
user
I will be departing from rajmahal .
inform((_:result,car,'yellow honda');(_:result,phone,'07123496116');(_:result,type,'Taxi'))
system
Ok , I have a car for you : a yellow honda with the contact number 07123496116
thank()
user
thanks very much for you time
system
Thank you , have a good day .
_:search arrive_by 23:00
_:search destination holy trinity church
_:search type Taxi
_:search arrive_by 23:00
_:search destination holy trinity church
_:search departure rajmahal
_:search type Taxi
_:search arrive_by 23:00
_:search destination holy trinity church
_:search departure rajmahal
_:search type Taxi
_:result car yellow honda
_:result phone 07123496116
_:result type Taxi