inform((_:search,arrive_by,'15:30');(_:search,destination,'holy trinity church');(_:search,type,'Taxi'))
user
I need a taxi to get me to holy trinity church no later than 15:30
request((_:search,departure,?);(_:search,type,'Taxi'))
system
Ok , what is your departure site ?
inform((_:search,departure,'don pasquale pizzeria');(_:search,type,'Taxi')) request((_:result,car,?);(_:result,type,'Taxi'))
user
I 'd like to be picked up from don pasquale pizzeria . Please also provide the car type and contact number , one the booking is made ?
inform((_:result,car,'blue honda');(_:result,phone,'07835205390');(_:result,type,'Taxi'))
system
Sure thing . A blue honda has been booked . Contact number is 07835205390 .
thank()
user
Thank you . That was all I needed .
system
Have a great day !
_:search arrive_by 15:30
_:search destination holy trinity church
_:search type Taxi
_:search arrive_by 15:30
_:search destination holy trinity church
_:search departure don pasquale pizzeria
_:search type Taxi
_:result car ?
_:result type Taxi
_:search arrive_by 15:30
_:search destination holy trinity church
_:search departure don pasquale pizzeria
_:search type Taxi
_:result car blue honda
_:result phone 07835205390
_:result type Taxi