Prolog Cafe v1.2
Class PrologMain

  extended by

public class PrologMain
extends java.lang.Object

Prolog Cafe launcher. The PrologMain class launchs the Prolog Cafe system.
The usage is as follows, where package is a package name, and predicate is a predicate name (only atom).

   % java -cp $PLCAFEDIR/plcafe.jar package:predicate
   % java -cp $PLCAFEDIR/plcafe.jar predicate
Let us show a sample session for launching a small Prolog interpreter:
    % java  -cp $PLCAFEDIR/plcafe.jar:$CLASSPATH
    Prolog Cafe X.X.X (YYY)
    Copyright(C) 1997-200X M.Banbara and N.Tamura
    | ?- 

Field Summary
static java.lang.String COPYRIGHT
          Copyright information
static java.lang.String VERSION
          Version information
Constructor Summary
Method Summary
static void main(java.lang.String[] argv)
protected static Term parseAtomicGoal(java.lang.String s)
          Returns a term for given string representation of atom goal, or null if parsing fails.
protected static void usage()
          Shows usage
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail


public static java.lang.String VERSION
Version information


public static java.lang.String COPYRIGHT
Copyright information

Constructor Detail


public PrologMain()
Method Detail


public static void main(java.lang.String[] argv)


protected static Term parseAtomicGoal(java.lang.String s)
Returns a term for given string representation of atom goal, or null if parsing fails.

s - a string representation of initial goal (ex. foge:main).
a term which corresponds to a given string, or null if parsing fails.


protected static void usage()
Shows usage

Prolog Cafe v1.2

Copyright (C) 1997-2008 M.BANBARA and N.TAMURA