Go up to 3 Installation and Use Go forward to 3.2 Window Mode |
Having retrieved Logic.jar
, unpack it in the current directory or in a
directory of the CLASSPATH
as
jar xf Logic.jar
and start the evaluator with
java Logic.Main > Logic Evaluator (c) 1999, Wolfgang Schreiner. > Type 'help;' for help.
Execution is terminated by the end of the input stream (which is triggered by
pressing the keys Control
+D
on most Unix systems).
Please note that in text mode the commands plot
and
plots
do not work.