previous up next
Go up to 3 Installation and Use
Go forward to 3.2 Window Mode
RISC-Linz logo

3.1 Text 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.

Maintained by: Wolfgang Schreiner
Last Modification: September 16, 2004

previous up next