jTrolog.lib

Class ISOLibrary

java.lang.Object

jTrolog.lib.Library

jTrolog.lib.ISOLibrary

All Implemented Interfaces:

Serializable

public class ISOLibrary
extends Library

This class represents a tuProlog library providing most of the built-ins predicates and functors defined by ISO standard. Library/Theory dependency: BasicLibrary

See Also:

Serialized Form

Field Summary

Fields inherited from class jTrolog.lib.Library

engine

Constructor Summary

Constructors

Constructor and Description
ISOLibrary()

Method Summary

Modifier and Type	Method and Description
Term	abs_1(BindingsTable bt, EvaluableTerm val)
Term	atan_1(BindingsTable bt, EvaluableTerm val)
boolean	atom_chars_2(BindingsTable bt, Term arg0, Term arg1)
boolean	atom_length_2(BindingsTable bt, Struct arg, Term len)
Term	ceiling_1(BindingsTable bt, EvaluableTerm val)
boolean	char_code_2(BindingsTable bt, Term arg0, Term arg1)
Term	cos_1(BindingsTable bt, EvaluableTerm val)
Term	div_2(BindingsTable bt, EvaluableTerm v0, EvaluableTerm v1)
Term	exp_1(BindingsTable bt, EvaluableTerm val)
Term	float_fractional_part_1(BindingsTable bt, EvaluableTerm val)
Term	float_integer_part_1(BindingsTable bt, EvaluableTerm val)
Term	floor_1(BindingsTable bt, EvaluableTerm val)
String[]	getSynonym(String primitiveName) Defines a map for synonyms for primitives.
String	getTheory() library theory
Term	log_1(BindingsTable bt, EvaluableTerm val)
Term	mod_2(BindingsTable bt, EvaluableTerm v0, EvaluableTerm v1)
Term	rem_2(BindingsTable bt, EvaluableTerm v0, EvaluableTerm v1)
Term	round_1(BindingsTable bt, EvaluableTerm val)
Term	sign_1(BindingsTable bt, EvaluableTerm val)
Term	sin_1(BindingsTable bt, EvaluableTerm val)
Term	sqrt_1(BindingsTable bt, EvaluableTerm val)
Term	truncate_1(BindingsTable bt, EvaluableTerm val)

Methods inherited from class jTrolog.lib.Library

dismiss, getName, onSolveBegin, onSolveEnd, setEngine

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ISOLibrary

public ISOLibrary()

Method Detail

atom_length_2

public boolean atom_length_2(BindingsTable bt,
                             Struct arg,
                             Term len)

atom_chars_2

public boolean atom_chars_2(BindingsTable bt,
                            Term arg0,
                            Term arg1)
                     throws PrologException

Throws:

PrologException

char_code_2

public boolean char_code_2(BindingsTable bt,
                           Term arg0,
                           Term arg1)

sin_1

public Term sin_1(BindingsTable bt,
                  EvaluableTerm val)
           throws Throwable

Throws:

Throwable

cos_1

public Term cos_1(BindingsTable bt,
                  EvaluableTerm val)
           throws Throwable

Throws:

Throwable

exp_1

public Term exp_1(BindingsTable bt,
                  EvaluableTerm val)
           throws Throwable

Throws:

Throwable

atan_1

public Term atan_1(BindingsTable bt,
                   EvaluableTerm val)
            throws Throwable

Throws:

Throwable

log_1

public Term log_1(BindingsTable bt,
                  EvaluableTerm val)
           throws Throwable

Throws:

Throwable

sqrt_1

public Term sqrt_1(BindingsTable bt,
                   EvaluableTerm val)
            throws Throwable

Throws:

Throwable

abs_1

public Term abs_1(BindingsTable bt,
                  EvaluableTerm val)
           throws Throwable

Throws:

Throwable

sign_1

public Term sign_1(BindingsTable bt,
                   EvaluableTerm val)
            throws Throwable

Throws:

Throwable

float_integer_part_1

public Term float_integer_part_1(BindingsTable bt,
                                 EvaluableTerm val)
                          throws Throwable

Throws:

Throwable

float_fractional_part_1

public Term float_fractional_part_1(BindingsTable bt,
                                    EvaluableTerm val)
                             throws Throwable

Throws:

Throwable

floor_1

public Term floor_1(BindingsTable bt,
                    EvaluableTerm val)
             throws Throwable

Throws:

Throwable

round_1

public Term round_1(BindingsTable bt,
                    EvaluableTerm val)
             throws Throwable

Throws:

Throwable

truncate_1

public Term truncate_1(BindingsTable bt,
                       EvaluableTerm val)
                throws Throwable

Throws:

Throwable

ceiling_1

public Term ceiling_1(BindingsTable bt,
                      EvaluableTerm val)
               throws Throwable

Throws:

Throwable

div_2

public Term div_2(BindingsTable bt,
                  EvaluableTerm v0,
                  EvaluableTerm v1)
           throws Throwable

Throws:

Throwable

mod_2

public Term mod_2(BindingsTable bt,
                  EvaluableTerm v0,
                  EvaluableTerm v1)
           throws Throwable

Throws:

Throwable

rem_2

public Term rem_2(BindingsTable bt,
                  EvaluableTerm v0,
                  EvaluableTerm v1)
           throws Throwable

Throws:

Throwable

getTheory

public String getTheory()

library theory

Overrides:

getTheory in class Library

Returns:

the theory provided with the library (an empty theory is default).

getSynonym

public String[] getSynonym(String primitiveName)

Description copied from class: Library

Defines a map for synonyms for primitives. String primitive name = String[]{synonym name, another synonym name, ..}.

Overrides:

getSynonym in class Library