inform((_:search,departure,'rice boat');(_:search,leave_at,'9:30');(_:search,type,'Taxi'))
user
I would like to book a taxi that will depart from Rice Boat and should leave at 9:30 .
request((_:search,destination,?);(_:search,type,'Taxi'))
system
What is your destination ?
inform((_:search,destination,'parkside pools');(_:search,type,'Taxi'))
user
The taxi should go to parkside pools .
inform((_:result,car,'grey toyota');(_:result,phone,'07725254029');(_:result,type,'Taxi'))
system
Your taxi is a Grey Toyota . The Contact number is 07725254029 .
thank()
user
Thank you , goodbye !
system
enjoy your day !
_:search departure rice boat
_:search leave_at 9:30
_:search type Taxi
_:search departure rice boat
_:search leave_at 9:30
_:search destination parkside pools
_:search type Taxi
_:search departure rice boat
_:search leave_at 9:30
_:search destination parkside pools
_:search type Taxi
_:result car grey toyota
_:result phone 07725254029
_:result type Taxi