Prolog Cafe v1.2

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

java.lang.Object
  extended by jp.ac.kobe_u.cs.prolog.lang.Predicate
      extended by jp.ac.kobe_u.cs.prolog.lang.Failure
All Implemented Interfaces:
java.io.Serializable

public class Failure
extends Predicate

Initial backtrak point.

See Also:
Serialized Form

Field Summary
 PrologControl c
          Prolog thread that this Failure belongs to.
 
Fields inherited from class jp.ac.kobe_u.cs.prolog.lang.Predicate
cont
 
Constructor Summary
Failure()
          Constructs a new initial backtrak point.
Failure(PrologControl c)
          Constructs a new initial backtrak point with given Prolog thread.
 
Method Summary
 int arity()
          Returns 0.
 Predicate exec(Prolog engine)
          Executes this predicate and returns a continuation goal.
 java.lang.String toString()
          Returns a string representation of this Failure.
 
Methods inherited from class jp.ac.kobe_u.cs.prolog.lang.Predicate
setArgument
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

c

public PrologControl c
Prolog thread that this Failure belongs to.

Constructor Detail

Failure

public Failure()
Constructs a new initial backtrak point.


Failure

public Failure(PrologControl c)
Constructs a new initial backtrak point with given Prolog thread.

Method Detail

exec

public Predicate exec(Prolog engine)
Description copied from class: Predicate
Executes this predicate and returns a continuation goal.

Specified by:
exec in class Predicate
Parameters:
engine - current Prolog engine
See Also:
Prolog

toString

public java.lang.String toString()
Returns a string representation of this Failure.

Overrides:
toString in class java.lang.Object

arity

public int arity()
Returns 0.

Specified by:
arity in class Predicate

Prolog Cafe v1.2

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