Add evaluation hints to examples/innocence.asp

alpha-asp · Mar 13, 2019 · de6e1a3 · de6e1a3
1 parent a1ccbe2
commit de6e1a3
Showing 1 changed file with 7 additions and 0 deletions.
diff --git 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