inform((_:search,leave_at,'04:15');(_:search,type,'Taxi'))
user
I need a taxi to pick me up after 04:15
request((_:search,destination,?);(_:search,type,'Taxi'))
system
Sure ! where are you going ?
inform((_:search,destination,'hotel du vin and bistro');(_:search,type,'Taxi'))
user
I 'm going to the hotel du vin and bistro
request((_:search,departure,?);(_:search,type,'Taxi'))
system
Alright . And where would you like to be picked up from ?
inform((_:search,departure,'scott polar museum');(_:search,type,'Taxi'))
user
Please pick me up at the scott polar museum
inform((_:result,type,'Taxi'))
system
Okay , I 've booked a taxi for you .
request((_:result,car,?);(_:result,type,'Taxi'))
user
Could you give me the car type and contact number ?
inform((_:result,car,'white Honda');(_:result,phone,'07135860962');(_:result,type,'Taxi'))
system
Certainly , the car is a white Honda , and the contact number is 07135860962 .
thank()
user
Got it . Thanks for helping me .
system
Your welcome .. Have a great time .
_:search leave_at 04:15
_:search type Taxi
_:search leave_at 04:15
_:search destination hotel du vin and bistro
_:search type Taxi
_:search leave_at 04:15
_:search destination hotel du vin and bistro
_:search departure scott polar museum
_:search type Taxi
_:search leave_at 04:15
_:search destination hotel du vin and bistro
_:search departure scott polar museum
_:search type Taxi
_:result type Taxi
_:result car ?
_:search leave_at 04:15
_:search destination hotel du vin and bistro
_:search departure scott polar museum
_:search type Taxi
_:result car white Honda
_:result phone 07135860962
_:result type Taxi