Prolog Cafe v1.2

jp.ac.kobe_u.cs.prolog.lang
Class PrologMain

java.lang.Object
  extended by jp.ac.kobe_u.cs.prolog.lang.PrologMain

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 jp.ac.kobe_u.cs.prolog.lang.PrologMain package:predicate
   % java -cp $PLCAFEDIR/plcafe.jar jp.ac.kobe_u.cs.prolog.lang.PrologMain predicate
 
Let us show a sample session for launching a small Prolog interpreter: jp.ac.kobe_u.cs.prolog.builtin:cafeteria/0.
    % java  -cp $PLCAFEDIR/plcafe.jar:$CLASSPATH jp.ac.kobe_u.cs.prolog.lang.PrologMain jp.ac.kobe_u.cs.prolog.builtin:cafeteria
    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
PrologMain()
           
 
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

VERSION

public static java.lang.String VERSION
Version information


COPYRIGHT

public static java.lang.String COPYRIGHT
Copyright information

Constructor Detail

PrologMain

public PrologMain()
Method Detail

main

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

parseAtomicGoal

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

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

usage

protected static void usage()
Shows usage


Prolog Cafe v1.2

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