Module arith

Builtin predicates for arithmetic operations

Predicate

floattoint/2: Convert float IN to integer OUT.
floor/2: Get the maximum integer under $NUM1 to $NUM2.
log/2: Return logarithm of number NUM.
exp/2: Return exponent of number NUM.
'/\'/3: Get the $NUM1 AND $NUM2 to $ANS.
'\/'/3: Get the $NUM1 OR $NUM2 to $ANS.
'#'/3: Get the $NUM1 XOR $NUM2 to $ANS.
'\'/2: Get the NOT $NUM to $ANS.
'+'/3: Get the result of "$NUM1 + $NUM2" to $ANS.This can be apply to strings.
'-'/3: Get result of "$NUM1 - $NUM2" to $ANS.
'*'/3: Get result of "$NUM1 * $NUM2" to $ANS.
'/'/3: Get result of "$NUM1 / $NUM2" to $ANS.
'//'/3: Get integer result of "$NUM1 / $NUM2" to $ANS.
'///'/3: Get reminder of integer division "$NUM1 / $NUM2" to $ANS.
'>'/2: Success if $NUM1 is larger than $NUM2.
'>='/2: Success if $NUM1 is larger than $NUM2 or equal to $NUM2.
'<'/2: Success if $NUM1 is smaller than $NUM2.
'<='/2: Success if $NUM1 is smaller than $NUM2 or equal to $NUM2.
'=:='/2: Success if $NUM1 is equal to $NUM2.
'=\='/2: Success if $NUM1 is not equal to $NUM2.

Top of this page Contents Index of this package LiLFeS Documents LiLFeS Home Page Tsujii laboratory

Predicate

floattoint/2

Format floattoint(+IN,+OUT)

Arguments

+IN float float

Convert float IN to integer OUT.

floor/2

Format floor(+$NUM1,-$NUM2)

Arguments

`+$NUM1`	integer or float	number
`-$NUM2`	bot	number for result

Get the maximum integer under $NUM1 to $NUM2.

log/2

Format log(+NUM,-LOG)

Arguments

`+NUM`	float	float
`-LOG`	float	logarithm

Return logarithm of number NUM.

exp/2

Format exp(+NUM,-LOG)

Arguments

`+NUM`	float	float
`-LOG`	float	exponent

Return exponent of number NUM.

'/\'/3

Format '/\'(+$NUM1,+$NUM2,-$ANS)

Arguments

`+$NUM1`	integer	number
`+$NUM2`	integer	number
`-$ANS`	bot	number for result

Get the $NUM1 AND $NUM2 to $ANS.

'\/'/3

Format '\/'(+$NUM1,+$NUM2,-$ANS)

Arguments

`+$NUM1`	integer	number
`+$NUM2`	integer	number
`-$ANS`	bot	number for result

Get the $NUM1 OR $NUM2 to $ANS.

'#'/3

Format '#'(+$NUM1,+$NUM2,-$ANS)

Arguments

`+$NUM1`	integer	number
`+$NUM2`	integer	number
`-$ANS`	bot	number for result

Get the $NUM1 XOR $NUM2 to $ANS.

'\'/2

Format '\'(+$NUM,-$ANS)

Arguments

`+$NUM`	integer	number
`-$ANS`	bot	number for result

Get the NOT $NUM to $ANS.

'+'/3

Format '+'(+$NUM1,+$NUM2,-$ANS)

Arguments

`+$NUM1`	integer or float or std	:string : number or std::string
`+$NUM2`	integer or float or std	:string : number or std::string
`-$ANS`	integer or float or std	:string : number or std::string for result

Get the result of "$NUM1 + $NUM2" to $ANS.This can be apply to strings.

> ?- '+'(3,5.5,8.5).
 yes
 > ?- '+'(-10,5,X).
 X: -5
 > ?- '+'("abc","def",X).
 X: "abcdef"

'-'/3

Format '-'(+$NUM1,+$NUM2,-$ANS)

Arguments

`+$NUM1`	integer or float	number
`+$NUM2`	integer or float	number
`-$ANS`	integer or float	number for result

Get result of "$NUM1 - $NUM2" to $ANS.

> ?- '-'(3,5.5,X).
 X: -2.50000

'*'/3

Format '*'(+$NUM1,+$NUM2,-$ANS)

Arguments

`+$NUM1`	integer or float	number
`+$NUM2`	integer or float	number
`-$ANS`	integer or float	number for result

Get result of "$NUM1 * $NUM2" to $ANS.

> ?- '*'(2,-6,X).
 X: -12

'/'/3

Format '/'(+$NUM1,+$NUM2,-$ANS)

Arguments

`+$NUM1`	integer or float	number
`+$NUM2`	integer or float	number
`-$ANS`	integer or float	number for result

Get result of "$NUM1 / $NUM2" to $ANS.

> ?- '/'(2,-6,X).
 X: -0.333333

'//'/3

Format '//'(+$NUM1,+$NUM2,-$ANS)

Arguments

`+$NUM1`	integer	number
`+$NUM2`	integer	number
`-$ANS`	integer	number for result

Get integer result of "$NUM1 / $NUM2" to $ANS.

> ?- '//'(36,5,X).
 X: 5

'///'/3

Format '///'(+$NUM1,+$NUM2,-$ANS)

Arguments

`+$NUM1`	integer	number
`+$NUM2`	integer	number
`-$ANS`	integer	number for result

Get reminder of integer division "$NUM1 / $NUM2" to $ANS.

> ?- mod(36,5,X).
 X: 1

'>'/2

Format '>'(+$NUM1,+$NUM2)

Arguments

`+$NUM1`	integer or float or std	:string : input1
`+$NUM2`	integer or float or std	:string : input2

Success if $NUM1 is larger than $NUM2.

> ?- '>'(5.6,6).
 no
 > ?- '>'("abc","abC").
 yes

'>='/2

Format '>='(+$NUM1,+$NUM2)

Arguments

`+$NUM1`	integer or float or std	:string : input1
`+$NUM2`	integer or float or std	:string : input2

Success if $NUM1 is larger than $NUM2 or equal to $NUM2.

> ?- '>='(5.6,6).
 no
 > ?- '>='("abc","abC").
 yes

'<'/2

Format '<'(+$NUM1,+$NUM2)

Arguments

`+$NUM1`	integer or float or std	:string : input1
`+$NUM2`	integer or float or std	:string : input2

Success if $NUM1 is smaller than $NUM2.

> ?- '<'(5.6,6).
 yes
 > ?- '<'("abc","abC").
 no

'<='/2

Format '<='(+$NUM1,+$NUM2)

Arguments

`+$NUM1`	integer or float or std	:string : input1
`+$NUM2`	integer or float or std	:string : input2

Success if $NUM1 is smaller than $NUM2 or equal to $NUM2.

> ?- '<='(5.6,6).
 yes
 > ?- '>'("abc","abC").
 no

'=:='/2

Format '=:='(+$NUM1,+$NUM2)

Arguments

`+$NUM1`	integer or float or std	:string : input1
`+$NUM2`	integer or float or std	:string : input2

Success if $NUM1 is equal to $NUM2.

'=\='/2

Format '=\='(+$NUM1,+$NUM2)

Arguments

`+$NUM1`	integer or float or std	:string : input1
`+$NUM2`	integer or float or std	:string : input2

Success if $NUM1 is not equal to $NUM2.

Top of this page Contents Index of this package LiLFeS Documents LiLFeS Home Page Tsujii laboratory

This document is automatically created by lildoc on Fri Sep 24 14:13:57 2004