We have moved!
Our new web portal is at potassco.org.- Simple Examples:
- Advanced Examples:
% instance motive(harry). motive(sally). guilty(harry). % encoding innocent(Suspect) :- motive(Suspect), not guilty(Suspect).
- Configuration:
- resoning mode
- project
- statistics
