• Examples:
% instancemotive(harry).motive(sally).guilty(harry).% encodinginnocent(Suspect) :- motive(Suspect), not guilty(Suspect).
  • Configuration:
  • resoning mode