inform((_:search,arrive_by,'18:15');(_:search,type,'Taxi'))
user
I need a taxi arriving by 18:15 .
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Taxi'))
system
Okay , I can help with that . I 'll just need to know where you are traveling to and from
inform((_:search,departure,'ashley hotel');(_:search,destination,'cherry hinton village centre');(_:search,type,'Taxi'))
user
I 'll go from ashley hotel to cherry hinton village centre
inform((_:result,car,'grey Skoda');(_:result,phone,'07960351382');(_:result,type,'Taxi')) reqmore()
system
You 're booked in a grey Skoda , contact number 07960351382 . Can I help you with something else today ?
user
No that will be all ty
system
You 're very welcome .
_:search arrive_by 18:15
_:search type Taxi
_:search arrive_by 18:15
_:search departure ashley hotel
_:search destination cherry hinton village centre
_:search type Taxi
_:search arrive_by 18:15
_:search departure ashley hotel
_:search destination cherry hinton village centre
_:search type Taxi
_:result car grey Skoda
_:result phone 07960351382
_:result type Taxi
_:system inquired _:user