Powered by SmartDoc

Install

June 2008
Mutsunori BANBARA and Naoyuki TAMURA
Kobe University, JAPAN

Install for Unix, Linux, and Mac OS X

  1. Check if JavaTM1.5 or higher is installed.
    > java -version
    java version "1.5.0_13"
    ...
    
    > javac -version
    javac 1.5.0_13
    ...
    
  2. Unzip (or Untar) the distribution file, and then a directory named PrologCafeX.Y.Z will be created, where X.Y.Z is a version number.
    > unzip PrologCafeX.Y.Z.zip
    
  3. Set the environment variable PLCAFEDIR.
    > export PLCAFEDIR=~/PrologCafeX.Y.Z
    
    > echo $PLCAFEDIR
    /home/banbara/PrologCafeX.Y.Z
    
  4. Check if installation succeeds or not by launching a small Prolog interpreter.
    > java -cp $PLCAFEDIR/plcafe.jar \
        jp.ac.kobe_u.cs.prolog.lang.PrologMain \
        jp.ac.kobe_u.cs.prolog.lang.builtin:cafeteria
    ...
    | ?- halt.
    bye
    

Install for Windows

Under construction.