alice.tuprolog.lib

Class ISOLibrary

java.lang.Object

alice.tuprolog.Library

alice.tuprolog.lib.ISOLibrary

All Implemented Interfaces:

IPrimitives, 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 alice.tuprolog.Library

engine

Constructor Summary

Constructors

Constructor and Description
ISOLibrary()

Method Summary

Methods

Modifier and Type	Method and Description
Term	abs_1(Term val)
Term	atan_1(Term val)
boolean	atom_chars_2(Term arg0, Term arg1)
boolean	atom_length_2(Term arg, Term len)
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_1(Term val)
Term	float_fractional_part_1(Term val)
Term	float_integer_part_1(Term val)
Term	floor_1(Term val)
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, evalExpression, getEngine, getName, getPrimitives, getSynonymMap, match, onSolveBegin, onSolveEnd, unify

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(Term arg,
                    Term len)

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)

float_1

public Term float_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 String getTheory()

library theory

Overrides:

getTheory in class Library