Loading the abductive system

To perform diagnosis with the example, we need to load both the abductive system and the abductive theory into SICStus. There are three ways to load the abductive system into SICStus:

• To start SICStus from command-line and load the abductive system at start, one can execute the following command:

  > sicstus -l abduction.pl
  

• If SICStus is already started, the abductive system can be loaded by executing the following query:

  | ?- use_module(abduction).
  

• If you are using the GUI version of SICStus on Windows, you can go to ``File'', then ``Consult'', and then select the abduction module source file abduction.pl from the dialogue box.