inform((_:search,departure,'hotel du vin and bistro');(_:search,leave_at,'22:30');(_:search,type,'Taxi'))
user
I would like to book a taxi departing from Hotel du Vin and Bistro leaving after 22:30 .
request((_:search,destination,?);(_:search,type,'Taxi'))
system
To what destination ?
inform((_:search,destination,'sitar tandoori');(_:search,type,'Taxi'))
user
It will need to take me to sitar tandoori
inform((_:result,car,'Red Lexus');(_:result,phone,'07326176636');(_:result,type,'Taxi')) reqmore()
system
Okay . I have booked a Red Lexus , and the contact number for the company is 07326176636 . Can I help with anything else ?
thank()
user
That will be all , thank you .
system
If there is nothing else I can help with , I would like to wish you an excellent day .
_:search departure hotel du vin and bistro
_:search leave_at 22:30
_:search type Taxi
_:search departure hotel du vin and bistro
_:search leave_at 22:30
_:search destination sitar tandoori
_:search type Taxi
_:search departure hotel du vin and bistro
_:search leave_at 22:30
_:search destination sitar tandoori
_:search type Taxi
_:result car Red Lexus
_:result phone 07326176636
_:result type Taxi
_:system inquired _:user