The simulator resides in the SB-Prolog system directory sim. The following sections describe various aspects of the simulator.