diff --git a/examples/innocence.asp b/examples/innocence.asp index 44b4478f1..803c87a3c 100644 --- a/examples/innocence.asp +++ b/examples/innocence.asp @@ -4,3 +4,10 @@ guilty(b). % ei incumbit probatio qui dicit, non qui negat innocent(S) :- motive(S), not guilty(S). + +% Evaluating: +% +% Run the following command, substituting the name of the JAR file and the path +% to this file as required: +% +% java -jar alpha-bundled.jar -i .../innocence.asp