• Examples:
1
2
3
4
5
6
7
% instance
motive(harry).
motive(sally).
guilty(harry).
% encoding
innocent(Suspect) :- motive(Suspect), not guilty(Suspect).
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
  • Configuration:
  • resoning mode
  •  project
  •  statistics
Downloading...
Preparing... (0/1)
All downloads complete.
Running...