In this section, let us use a small toy example - car diagnosis - to show the basic usage of the abduction module in SICStus.
