• Examples:
  • Doc:
  • Python API
  • C/C++ API
    %%% Tab: instance.lp
motive(harry; sally).
motive(sally).
guilty(harry).
%%% Tab: encoding.lp
innocent(Suspect) :- motive(Suspect), not guilty(Suspect).
    • Configuration:
    • mode
    • log level
    • profile
    • reasoning mode
    •  project
    •  statistics
    • python