inform((_:search,arrive_by,'09:45');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
looking for a train . The train should arrive by 09:45 and should depart from cambridge .
request((_:search,destination,?);(_:search,type,'Train'))
system
What is your destination ?
inform((_:search,destination,'norwich');(_:search,type,'Train'))
user
i need to go to norwich .
inform((_:result,id,'TR2534');(_:result,leave_at,'05:36');(_:result,type,'Train'))
system
how about TR2534 that leaves at 05:36 ?
thank()
user
That sounds great ! Thanks for all of your help !
system
You are most welcome !
_:search arrive_by 09:45
_:search departure cambridge
_:search type Train
_:search arrive_by 09:45
_:search departure cambridge
_:search destination norwich
_:search type Train
_:search arrive_by 09:45
_:search departure cambridge
_:search destination norwich
_:search type Train
_:result id TR2534
_:result leave_at 05:36
_:result type Train