Prolog Cafe v1.2

Serialized Form


Package jp.ac.kobe_u.cs.prolog.lang

Class jp.ac.kobe_u.cs.prolog.lang.BlockPredicate extends Predicate implements Serializable

Serialized Fields

outOfScope

boolean outOfScope

outOfLoop

boolean outOfLoop

Class jp.ac.kobe_u.cs.prolog.lang.BuiltinException extends PrologException implements Serializable

Serialized Fields

message

Term message

goal

Predicate goal
Holds the goal in which this exception occurs.


argNo

int argNo
Holds the arity of goal in which this exception occurs.

Class jp.ac.kobe_u.cs.prolog.lang.ClosureTerm extends Term implements Serializable

Serialized Fields

code

Predicate code
Holds a Predicate object that represents a Prolog goal.

Class jp.ac.kobe_u.cs.prolog.lang.CPFStack extends java.lang.Object implements Serializable

Serialized Fields

maxContents

int maxContents
Maximum size of enties. Initial size is 20000.


buffer

jp.ac.kobe_u.cs.prolog.lang.CPFEntry[] buffer
An array of choice point frames.


top

int top
the top index of this CPFStack.


engine

Prolog engine
Holds the Prolog engine that this CPFStack belongs to.

Class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm extends NumberTerm implements Serializable

Serialized Fields

val

double val
Holds a double value that this DoubleTerm represents.

Class jp.ac.kobe_u.cs.prolog.lang.EvaluationException extends BuiltinException implements Serializable

Serialized Fields

errorType

java.lang.String errorType
Holds a string representation of error type.

Class jp.ac.kobe_u.cs.prolog.lang.ExistenceException extends BuiltinException implements Serializable

Serialized Fields

objType

java.lang.String objType
Holds a string representation of object type.


culprit

Term culprit
Holds the argument or one of its components which caused the error.


message

java.lang.String message
Holds a string representation of detail message.

Class jp.ac.kobe_u.cs.prolog.lang.Failure extends Predicate implements Serializable

Serialized Fields

c

PrologControl c
Prolog thread that this Failure belongs to.

Class jp.ac.kobe_u.cs.prolog.lang.HashtableOfTerm extends java.util.Hashtable<Term,Term> implements Serializable

Class jp.ac.kobe_u.cs.prolog.lang.IllegalDomainException extends BuiltinException implements Serializable

Serialized Fields

domain

java.lang.String domain
Holds a string representation of valid domain.


culprit

Term culprit
Holds the argument or one of its components which caused the error.

Class jp.ac.kobe_u.cs.prolog.lang.IllegalTypeException extends BuiltinException implements Serializable

Serialized Fields

type

java.lang.String type
Holds a string representation of valid type.


culprit

Term culprit
Holds the argument or one of its components which caused the error.

Class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm extends NumberTerm implements Serializable

Serialized Fields

val

int val
Holds an int value that this IntegerTerm represents.

Class jp.ac.kobe_u.cs.prolog.lang.InternalDatabase extends java.lang.Object implements Serializable

Serialized Fields

maxContents

int maxContents
Maximum size of enties. Initial size is 100000.


buffer

Term[] buffer
An array of Term entries.


reusableIndices

java.util.LinkedList<E> reusableIndices
A list of reusable entry indices.


top

int top
the top index of this InternalDatabase.

Class jp.ac.kobe_u.cs.prolog.lang.InternalException extends PrologException implements Serializable

Serialized Fields

message

java.lang.String message
Holds a message.

Class jp.ac.kobe_u.cs.prolog.lang.JavaException extends BuiltinException implements Serializable

Serialized Fields

e

java.lang.Exception e
Holds a Java exception.

Class jp.ac.kobe_u.cs.prolog.lang.JavaObjectTerm extends Term implements Serializable

Serialized Fields

obj

java.lang.Object obj
Holds a java object that this JavaObjectTerm wraps.


clazz

java.lang.Class<T> clazz
Holds a java.lang.Class of object wrapped by this JavaObjectTerm.

Class jp.ac.kobe_u.cs.prolog.lang.JavaPredicate extends Predicate implements Serializable

Class jp.ac.kobe_u.cs.prolog.lang.ListTerm extends Term implements Serializable

Serialized Fields

car

Term car
Holds the first element of this ListTerm.


cdr

Term cdr
Holds the list consisting of all the rest of the elements of this ListTerm but the first one.

Class jp.ac.kobe_u.cs.prolog.lang.NumberTerm extends Term implements Serializable

Class jp.ac.kobe_u.cs.prolog.lang.OutOfLoop extends java.lang.Object implements Serializable

Serialized Fields

p

BlockPredicate p

Class jp.ac.kobe_u.cs.prolog.lang.OutOfScope extends java.lang.Object implements Serializable

Serialized Fields

p

BlockPredicate p

Class jp.ac.kobe_u.cs.prolog.lang.PermissionException extends BuiltinException implements Serializable

Serialized Fields

operation

java.lang.String operation
Holds a string representation of operation.


permissionType

java.lang.String permissionType
Holds a string representation of permission type.


culprit

Term culprit
Holds the argument or one of its components which caused the error.


message

java.lang.String message
Holds a string representation of detail message.

Class jp.ac.kobe_u.cs.prolog.lang.PInstantiationException extends BuiltinException implements Serializable

Class jp.ac.kobe_u.cs.prolog.lang.Predicate extends java.lang.Object implements Serializable

Serialized Fields

cont

Predicate cont
Holds a continuation goal

Class jp.ac.kobe_u.cs.prolog.lang.Prolog extends java.lang.Object implements Serializable

Serialized Fields

control

PrologControl control
Prolog thread


aregs

Term[] aregs
Argument registers


cont

Predicate cont
Continuation goal register


stack

CPFStack stack
Choice point frame stack


trail

Trail trail
Trail stack


B0

int B0
Cut pointer


pcl

PrologClassLoader pcl
Class loader


internalDB

InternalDatabase internalDB
Internal Database


CPFTimeStamp

long CPFTimeStamp
Current time stamp of choice point frame


exceptionRaised

int exceptionRaised
Exception level of continuation passing loop:
  • 0 for no exception,
  • 1 for halt/0,
  • 2 for freeze/2 (not supported yet)


  • bounded

    boolean bounded
    Not supported yet. Prolog implementation flag: bounded.


    maxInteger

    int maxInteger
    Prolog implementation flag: max_integer.


    minInteger

    int minInteger
    Prolog implementation flag: min_integer.


    integerRoundingFunction

    java.lang.String integerRoundingFunction
    Prolog implementation flag: integer_rounding_function.


    charConversion

    java.lang.String charConversion
    Not supported yet. Prolog implementation flag: char_conversion.


    debug

    java.lang.String debug
    Prolog implementation flag: debug.


    maxArity

    int maxArity
    Prolog implementation flag: max_arity.


    unknown

    java.lang.String unknown
    Prolog implementation flag: unknown.


    doubleQuotes

    java.lang.String doubleQuotes
    Not supported yet. Prolog implementation flag: double_quotes.


    printStackTrace

    java.lang.String printStackTrace
    Prolog implementation flag: print_stack_trace.


    pendingGoals

    Term pendingGoals
    Holds a list of frozen goals for freeze/2 (not implemented yet).


    exception

    Term exception
    Holds an exception term for catch/3 and throw/1.


    startRuntime

    long startRuntime
    Holds the start time as long for statistics/2.


    previousRuntime

    long previousRuntime
    Holds the previous time as long for statistics/2.


    copyHash

    java.util.Hashtable<K,V> copyHash
    Hashtable for creating a copy of term.


    streamManager

    HashtableOfTerm streamManager
    Hashtable for managing input and output streams.


    hashManager

    HashtableOfTerm hashManager
    Hashtable for managing internal databases.

    Class jp.ac.kobe_u.cs.prolog.lang.PrologClassLoader extends java.lang.ClassLoader implements Serializable

    Class jp.ac.kobe_u.cs.prolog.lang.PrologControl extends java.lang.Object implements Serializable

    Serialized Fields

    thread

    java.lang.Thread thread
    A volatile instance variable holding a thread.


    engine

    Prolog engine
    Holds a Prolog engine.


    code

    Predicate code
    Holds a Prolog goal to be executed.


    result

    boolean result
    A flag that indicates whether the result of goal is true or false.


    resultReady

    boolean resultReady
    A flag that indicates whether the result of goal is ready or not.

    Class jp.ac.kobe_u.cs.prolog.lang.PrologException extends java.lang.RuntimeException implements Serializable

    Class jp.ac.kobe_u.cs.prolog.lang.PushDownList extends java.lang.Object implements Serializable

    Serialized Fields

    maxContents

    int maxContents
    Maximum size of enties. Initial size is 10000.


    buffer

    Term[] buffer
    An array of Term entries.


    top

    int top
    the top index of this PushDownList.

    Class jp.ac.kobe_u.cs.prolog.lang.RepresentationException extends BuiltinException implements Serializable

    Serialized Fields

    flag

    java.lang.String flag
    Holds a string representation of flag.

    Class jp.ac.kobe_u.cs.prolog.lang.StructureTerm extends Term implements Serializable

    Serialized Fields

    functor

    SymbolTerm functor
    Holds the functor symbol of this StructureTerm.


    args

    Term[] args
    Holds the argument terms of this StructureTerm.


    arity

    int arity
    Holds the arity of this StructureTerm.

    Class jp.ac.kobe_u.cs.prolog.lang.Success extends Predicate implements Serializable

    Serialized Fields

    c

    PrologControl c
    Prolog thread that this Success belongs to.

    Class jp.ac.kobe_u.cs.prolog.lang.SymbolTerm extends Term implements Serializable

    Serialized Fields

    name

    java.lang.String name
    Holds a string representation of this SymbolTerm.


    arity

    int arity
    Holds the arity of this SymbolTerm.

    Class jp.ac.kobe_u.cs.prolog.lang.SyntaxException extends BuiltinException implements Serializable

    Serialized Fields

    type

    java.lang.String type
    Holds a string representation of valid type.


    culprit

    Term culprit
    Holds the argument or one of its components which caused the error.


    message

    java.lang.String message
    Holds a string representation of detail message.

    Class jp.ac.kobe_u.cs.prolog.lang.SystemException extends PrologException implements Serializable

    Serialized Fields

    message

    java.lang.String message
    Holds a message.

    Class jp.ac.kobe_u.cs.prolog.lang.Term extends java.lang.Object implements Serializable

    Class jp.ac.kobe_u.cs.prolog.lang.TermException extends PrologException implements Serializable

    Serialized Fields

    message

    Term message
    Message as term.

    Class jp.ac.kobe_u.cs.prolog.lang.Token extends java.lang.Object implements Serializable

    Class jp.ac.kobe_u.cs.prolog.lang.Trail extends java.lang.Object implements Serializable

    Serialized Fields

    maxContents

    int maxContents
    Maximum size of enties. Initial size is 20000.


    buffer

    Undoable[] buffer
    An array of Undoable entries.


    top

    int top
    the top index of this Trail.


    engine

    Prolog engine
    Holds the Prolog engine that this Trail belongs to.

    Class jp.ac.kobe_u.cs.prolog.lang.VariableTerm extends Term implements Serializable

    Serialized Fields

    val

    Term val
    Holds a term to which this variable is bound. Initial value is this (self-reference).


    timeStamp

    long timeStamp
    A CPF time stamp when this object is newly constructed.


    Prolog Cafe v1.2

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