G'day all. SICStus 3.0 is now compiled for the Linux boxes. Your path should include /home/mercury/public/sicstus3/i586-unknown-linux. Cheers, Andrew Bromage