Overview  Package   Class  Use  Deprecated  Index
Home >> All >> alice >> tuprolog >> [ lib overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---

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

Provides most of the builting predicates and functors defined by ISO standard.

for predicate meaning look at ISO documentation.

---

Field Summary

 

Fields inherited from class alice.tuprolog.Library

theory

 

Constructor Summary

ISOLibrary()

 

Method Summary
alice.tuprolog.Term	abs_1(alice.tuprolog.Struct g)
alice.tuprolog.Term	atan_1(alice.tuprolog.Struct g)
boolean	atom_chars_2(alice.tuprolog.Struct g)
boolean	atom_concat_3(alice.tuprolog.Struct g)
boolean	atom_length_2(alice.tuprolog.Struct g)
alice.tuprolog.Term	ceiling_1(alice.tuprolog.Struct g)
boolean	char_code_2(alice.tuprolog.Struct g)
alice.tuprolog.Term	cos_1(alice.tuprolog.Struct g)
alice.tuprolog.Term	div_2(alice.tuprolog.Struct g)
alice.tuprolog.Term	exp_1(alice.tuprolog.Struct g)
alice.tuprolog.Term	float_fractional_part_1(alice.tuprolog.Struct g)
alice.tuprolog.Term	float_integer_part_1(alice.tuprolog.Struct g)
alice.tuprolog.Term	floor_1(alice.tuprolog.Struct g)
boolean	get_operators_list_1(alice.tuprolog.Struct g)
alice.tuprolog.Term	log_1(alice.tuprolog.Struct g)
alice.tuprolog.Term	mod_2(alice.tuprolog.Struct g)
boolean	num_atom_2(alice.tuprolog.Struct g)
alice.tuprolog.Term	rem_2(alice.tuprolog.Struct g)
alice.tuprolog.Term	round_1(alice.tuprolog.Struct g)
alice.tuprolog.Term	sign_1(alice.tuprolog.Struct g)
alice.tuprolog.Term	sin_1(alice.tuprolog.Struct g)
alice.tuprolog.Term	sqrt_1(alice.tuprolog.Struct g)
alice.tuprolog.Term	truncate_1(alice.tuprolog.Struct g)

 

Methods inherited from class alice.tuprolog.Library

dismiss, getEngine, getRenamedCopy, getTheory, onSolveBegin, onSolveEnd, setEngine, 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(alice.tuprolog.Struct g)

---

atom_chars_2

public boolean atom_chars_2(alice.tuprolog.Struct g)

---

char_code_2

public boolean char_code_2(alice.tuprolog.Struct g)

---

num_atom_2

public boolean num_atom_2(alice.tuprolog.Struct g)

---

get_operators_list_1

public boolean get_operators_list_1(alice.tuprolog.Struct g)

---

atom_concat_3

public boolean atom_concat_3(alice.tuprolog.Struct g)

---

sin_1

public alice.tuprolog.Term sin_1(alice.tuprolog.Struct g)

---

cos_1

public alice.tuprolog.Term cos_1(alice.tuprolog.Struct g)

---

exp_1

public alice.tuprolog.Term exp_1(alice.tuprolog.Struct g)

---

atan_1

public alice.tuprolog.Term atan_1(alice.tuprolog.Struct g)

---

log_1

public alice.tuprolog.Term log_1(alice.tuprolog.Struct g)

---

sqrt_1

public alice.tuprolog.Term sqrt_1(alice.tuprolog.Struct g)

---

abs_1

public alice.tuprolog.Term abs_1(alice.tuprolog.Struct g)

---

sign_1

public alice.tuprolog.Term sign_1(alice.tuprolog.Struct g)

---

float_integer_part_1

public alice.tuprolog.Term float_integer_part_1(alice.tuprolog.Struct g)

---

float_fractional_part_1

public alice.tuprolog.Term float_fractional_part_1(alice.tuprolog.Struct g)

---

floor_1

public alice.tuprolog.Term floor_1(alice.tuprolog.Struct g)

---

round_1

public alice.tuprolog.Term round_1(alice.tuprolog.Struct g)

---

truncate_1

public alice.tuprolog.Term truncate_1(alice.tuprolog.Struct g)

---

ceiling_1

public alice.tuprolog.Term ceiling_1(alice.tuprolog.Struct g)

---

div_2

public alice.tuprolog.Term div_2(alice.tuprolog.Struct g)

---

mod_2

public alice.tuprolog.Term mod_2(alice.tuprolog.Struct g)

---

rem_2

public alice.tuprolog.Term rem_2(alice.tuprolog.Struct g)

---

Overview  Package   Class  Use  Deprecated  Index
Home >> All >> alice >> tuprolog >> [ lib overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---