alice.tuprolog.lib
Class ISOLibrary

java.lang.Object
  alice.tuprolog.Library
      alice.tuprolog.lib.ISOLibrary

All Implemented Interfaces:

java.io.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

Constructor Summary

ISOLibrary()

Method Summary

Term	abs_1(Term val)
Term	atan_1(Term val)
boolean	atom_chars_2(Term arg0, Term arg1)
boolean	atom_length_2(Struct arg0, Term arg1)
Term	ceiling_1(Term val)
boolean	char_code_2(Term arg0, Term arg1)
Term	cos_1(Term val)
Term	div_2(Term v0, Term v1)
Term	exp_1(Term val)
Term	float_fractional_part_1(Term val)
Term	float_integer_part_1(Term val)
Term	floor_1(Term val)
java.lang.String	getTheory() library theory
Term	log_1(Term val)
Term	mod_2(Term v0, Term v1)
Term	rem_2(Term v0, Term v1)
Term	round_1(Term val)
Term	sign_1(Term val)
Term	sin_1(Term val)
Term	sqrt_1(Term val)
Term	truncate_1(Term val)

Methods inherited from class alice.tuprolog.Library

dismiss, getEngine, getFunctors, getLinkedMethod, getName, getOperatorSynonymMap, getPredicates, onSolveBegin, onSolveEnd

Methods inherited from class java.lang.Object

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

Constructor Detail

ISOLibrary

public ISOLibrary()

Method Detail

atom_length_2

public boolean atom_length_2(Struct arg0,
                             Term arg1)

atom_chars_2

public boolean atom_chars_2(Term arg0,
                            Term arg1)

char_code_2

public boolean char_code_2(Term arg0,
                           Term arg1)

sin_1

public Term sin_1(Term val)

cos_1

public Term cos_1(Term val)

exp_1

public Term exp_1(Term val)

atan_1

public Term atan_1(Term val)

log_1

public Term log_1(Term val)

sqrt_1

public Term sqrt_1(Term val)

abs_1

public Term abs_1(Term val)

sign_1

public Term sign_1(Term val)

float_integer_part_1

public Term float_integer_part_1(Term val)

float_fractional_part_1

public Term float_fractional_part_1(Term val)

floor_1

public Term floor_1(Term val)

round_1

public Term round_1(Term val)

truncate_1

public Term truncate_1(Term val)

ceiling_1

public Term ceiling_1(Term val)

div_2

public Term div_2(Term v0,
                  Term v1)

mod_2

public Term mod_2(Term v0,
                  Term v1)

rem_2

public Term rem_2(Term v0,
                  Term v1)

getTheory

public java.lang.String getTheory()

library theory

Overrides:

getTheory in class Library