Stirnet says that Robert probably accompanied Kind David I from England to Scotland.