GNU Prolog for Java

gnu.prolog.vm
Class Evaluate

java.lang.Object
  extended by gnu.prolog.vm.Evaluate

public class Evaluate
extends Object


Field Summary
static CompoundTermTag abs1
           
static CompoundTermTag add2
           
static CompoundTermTag atan1
           
static CompoundTermTag band2
           
static CompoundTermTag blshift2
           
static CompoundTermTag bnot1
           
static CompoundTermTag bor2
           
static CompoundTermTag brshift2
           
static CompoundTermTag ceiling1
           
static CompoundTermTag cos1
           
static CompoundTermTag div2
           
static CompoundTermTag exp1
           
static CompoundTermTag float1
           
static AtomTerm floatAtom
           
static CompoundTermTag floor1
           
static CompoundTermTag fractpart1
           
static CompoundTermTag intdiv2
           
static CompoundTermTag intpart1
           
static CompoundTermTag log1
           
static CompoundTermTag mod2
           
static CompoundTermTag mul2
           
static CompoundTermTag neg1
           
static CompoundTermTag power2
           
static CompoundTermTag random1
          Implementation of the random/1 predicate defined in SWI-Prolog random(+IntExpr) Evaluates to a random integer i for which 0 =< i < IntExpr.
static CompoundTermTag rem2
           
static CompoundTermTag round1
           
static CompoundTermTag sign1
           
static CompoundTermTag sin1
           
static CompoundTermTag sqrt1
           
static CompoundTermTag sub2
           
static CompoundTermTag truncate1
           
 
Method Summary
static Term evaluate(Term term)
           
protected static void typeTestInt(Term term)
          Test the term for an integer term
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

add2

public static final CompoundTermTag add2

sub2

public static final CompoundTermTag sub2

mul2

public static final CompoundTermTag mul2

intdiv2

public static final CompoundTermTag intdiv2

div2

public static final CompoundTermTag div2

rem2

public static final CompoundTermTag rem2

mod2

public static final CompoundTermTag mod2

neg1

public static final CompoundTermTag neg1

abs1

public static final CompoundTermTag abs1

sqrt1

public static final CompoundTermTag sqrt1

sign1

public static final CompoundTermTag sign1

intpart1

public static final CompoundTermTag intpart1

fractpart1

public static final CompoundTermTag fractpart1

float1

public static final CompoundTermTag float1

floor1

public static final CompoundTermTag floor1

truncate1

public static final CompoundTermTag truncate1

round1

public static final CompoundTermTag round1

ceiling1

public static final CompoundTermTag ceiling1

power2

public static final CompoundTermTag power2

sin1

public static final CompoundTermTag sin1

cos1

public static final CompoundTermTag cos1

atan1

public static final CompoundTermTag atan1

exp1

public static final CompoundTermTag exp1

log1

public static final CompoundTermTag log1

brshift2

public static final CompoundTermTag brshift2

blshift2

public static final CompoundTermTag blshift2

band2

public static final CompoundTermTag band2

bor2

public static final CompoundTermTag bor2

bnot1

public static final CompoundTermTag bnot1

random1

public static final CompoundTermTag random1
Implementation of the random/1 predicate defined in SWI-Prolog random(+IntExpr) Evaluates to a random integer i for which 0 =< i < IntExpr.


floatAtom

public static final AtomTerm floatAtom
Method Detail

evaluate

public static Term evaluate(Term term)
                     throws PrologException
Throws:
PrologException

typeTestInt

protected static void typeTestInt(Term term)
                           throws PrologException
Test the term for an integer term

Parameters:
term -
Throws:
PrologException

GNU Prolog for Java