You can access the source and learn more at github.com/domoritz/clingo-wasm.

  • Examples: 
% instance
motive(harry).
motive(sally).
guilty(harry).

% encoding
innocent(Suspect) :- motive(Suspect), not guilty(Suspect).
  • Configuration:
  • resoning mode