Importing the abductive theory

Suppose the example's abductive theory is saved in a file called car.pl, which is stored in the same directory as the abduction module source file (i.e., abduction.pl). To import the theory, you can execute the following query in the SICStus console with the abductive system already been loaded:

| ?- load_theory('car.pl').

Note that if the abductive theory file is stored somewhere else, you need to give the full path to the file, e.g.,

| ?- load_theory('/path/to/car.pl').

Sometimes if the abductive theory is big, it may be split and saved into several source files. In this case, you can load all the files using the following query instead:

| ?- load_theories(['file1.pl', 'file2.pl']).