inform((_:search,destination,'funky fun house');(_:search,leave_at,'8:45');(_:search,type,'Taxi'))
user
Hi , i need to book a taxi to go to funky fun house . I need to leave after 8:45 .
request((_:search,departure,?);(_:search,type,'Taxi'))
system
Where will you leave from ?
inform((_:search,departure,'cambridge punter');(_:search,type,'Taxi'))
user
The taxi should depart from the cambridge punter
inform((_:result,car,'grey ford');(_:result,phone,'07266756209');(_:result,type,'Taxi')) reqmore()
system
Alrighty . I have a grey ford for you with the contact number 07266756209 . Anything else you need ?
inform((_:search,type,'Taxi'))
user
No thanks , just needed a taxi . Have a great day !
system
Thanks , I hope you have a wonderful day as well !
_:search destination funky fun house
_:search leave_at 8:45
_:search type Taxi
_:search destination funky fun house
_:search leave_at 8:45
_:search departure cambridge punter
_:search type Taxi
_:search destination funky fun house
_:search leave_at 8:45
_:search departure cambridge punter
_:result car grey ford
_:result phone 07266756209
_:result type Taxi
_:system inquired _:user
_:search type Taxi