inform((_:search,departure,'pizza hut city centre');(_:search,leave_at,'04:30');(_:search,type,'Taxi'))
user
I need to be picked up from pizza hut city centre after 04:30
request((_:search,destination,?);(_:search,type,'Taxi'))
system
Where will you be heading to ?
inform((_:search,destination,'gonville hotel');(_:search,type,'Taxi'))
user
I am headed to gonville hotel .
inform((_:result,car,'yellow ford');(_:result,phone,'07017220129');(_:result,type,'Taxi'))
system
Great . Your booking is complete . A yellow ford will pick you up and can be reached by dialing 07017220129
bye()
user
Thanks . That takes care of everything for me . Bye !
system
Have a great day and thank you for contacting us .
_:search departure pizza hut city centre
_:search leave_at 04:30
_:search type Taxi
_:search departure pizza hut city centre
_:search leave_at 04:30
_:search destination gonville hotel
_:search type Taxi
_:search departure pizza hut city centre
_:search leave_at 04:30
_:search destination gonville hotel
_:search type Taxi
_:result car yellow ford
_:result phone 07017220129
_:result type Taxi
_:user dismissed _:system