Prolog Cafe v1.2

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

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

public abstract class BlockPredicate
extends Predicate

The BlockPredicate class is used to implement builtin-predicates. For example,

This document is under construction.

See Also:
Serialized Form

Field Summary
 boolean outOfLoop
           
 boolean outOfScope
           
 
Fields inherited from class jp.ac.kobe_u.cs.prolog.lang.Predicate
cont
 
Constructor Summary
BlockPredicate()
           
 
Method Summary
 
Methods inherited from class jp.ac.kobe_u.cs.prolog.lang.Predicate
arity, exec, setArgument
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

outOfScope

public boolean outOfScope

outOfLoop

public boolean outOfLoop
Constructor Detail

BlockPredicate

public BlockPredicate()

Prolog Cafe v1.2

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