inform((_:search,destination,'cambridge');(_:search,type,'Train'))
user
looking for a train going to Cambridge .
request((_:search,arrive_by,?);(_:search,day,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
What day and time are you wanting to travel ?
inform((_:search,arrive_by,'13:00');(_:search,day,'sunday');(_:search,type,'Train'))
user
I am leaving on Sunday and need to arrive by 13:00
inform((_:result,id,'TR3350');(_:result,leave_at,'05:17');(_:result,type,'Train'))
system
How about TR3350 that leaves at 05:17 ?
request((_:result,ref,?);(_:result,type,'Train'))
user
you can book it . get me the reference number too
inform((_:booking,category,'Train');(_:booking,ref,'W8YHJKSV');(_:booking,type,'Booking'))
system
W8YHJKSV is the reference number
thank()
user
Thank you that is all I needed .
system
Thank you for using our services .
_:search destination cambridge
_:search type Train
_:search destination cambridge
_:search leave_at ?
_:search arrive_by 13:00
_:search day sunday
_:search type Train
_:search destination cambridge
_:search leave_at ?
_:search arrive_by 13:00
_:search day sunday
_:search type Train
_:result id TR3350
_:result leave_at 05:17
_:result type Train
_:result ref ?
_:search destination cambridge
_:search leave_at ?
_:search arrive_by 13:00
_:search day sunday
_:search type Train
_:result id TR3350
_:result leave_at 05:17
_:result type Train
_:result ref ?
_:booking category Train
_:booking ref W8YHJKSV
_:booking type Booking