Go up to 3 Installation and Use
Go forward to 3.2 Window Mode
Logic.jar, unpack it in the current directory or in a
directory of the
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
D on most Unix systems).
Please note that in text mode the commands
plots do not work.