look in xsb_read.P there is something like file_read/3 with 3th arg the var list in a particular form it would be better to have this in the ISO way, but the functionality is there Bart