Note that the correct path will generally be set in your original .cshrc file and so you should not need to do this. Type "sbp" to confirm that you have your path set correctly BEFORE making any .cshrc modifications. To run SB Prolog, add the following to the end of your .cshrc file. set path = (/hc/ra/local/bin $path) setenv SPATH /hc/ra/lang/sbprolog setenv SIMPATH .:$SPATH/lib:$SPATH/modlib:$SPATH/cmplib alias sbp sbprolog $SPATH/modlib/\\\$readloop