inform((_:search,arrive_by,'06:15');(_:search,departure,'funky fun house');(_:search,type,'Taxi'))
user
I need a taxi that leaves from funky fun house and arrives by 06:15
request((_:search,destination,?);(_:search,type,'Taxi'))
system
Certainly . What is your destination ?
inform((_:search,destination,'curry garden');(_:search,type,'Taxi'))
user
My destination is Curry Garden .
inform((_:result,car,'white audi');(_:result,phone,'07088332164');(_:result,type,'Taxi'))
system
ok it is a white audi and the contact number is 07088332164
bye()
user
Thank you .   That is all I need right now .   Good bye .
system
Glad to be of help ! Goodbye .
_:search arrive_by 06:15
_:search departure funky fun house
_:search type Taxi
_:search arrive_by 06:15
_:search departure funky fun house
_:search destination curry garden
_:search type Taxi
_:search arrive_by 06:15
_:search departure funky fun house
_:search destination curry garden
_:search type Taxi
_:result car white audi
_:result phone 07088332164
_:result type Taxi
_:user dismissed _:system