ieng9.ucsd.edu% prep cs130s [cs130s] ieng9.ucsd.edu% sbprolog Running ACS local sbprolog frontend shell script. No bc_file specified, will use $readloop. SB-Prolog Version 3.1 | ?- halt. Halt. Program terminated normally [cs130s] ieng9.ucsd.edu%