モジュール arith

目次

述語

• floattoint/2: 実数INを整数OUTに変換します．
• floor/2: $NUM1を超えない最大の整数を$NUM2に返します．
• log/2: log を計算します．
• exp/2: exp を計算します．
• '/\'/3: $NUM1と$NUM2のビット単位のAND(ビット積)を$ANSに返します．
• '\/'/3: $NUM1と$NUM2のビット単位のOR(ビット和)を$ANSに返します．
• '#'/3: $NUM1と$NUM2のビット単位のXOR(ビット排他積)を$ANSに返します．
• '\'/2: $NUMのビット単位のNOT(ビット否定)を$ANSに返します．
• '+'/3: $NUM1と$NUM2の加算の結果を$ANSに返します．また、文字列の連接も可能です．
• '-'/3: $NUM1と$NUM2の減算の結果を$ANSに返します．
• '*'/3: $NUM1と$NUM2の乗算の結果を$ANSに返します．
• '/'/3: $NUM1と$NUM2の除算の結果を$ANSに返します．
• '//'/3: $NUM1と$NUM2の整数除算の商を$ANSに返します．
• '///'/3: $NUM1と$NUM2の整数除算の剰余を$ANSに返します．
• '>'/2: $NUM1が$NUM2より大きいとき成功します。
• '>='/2: $NUM1が$NUM2より大きいか等しいとき成功します。
• '<'/2: $NUM1が$NUM2より小さいとき成功します。
• '<='/2: $NUM1が$NUM2より小さいか等しいとき成功します。
• '=:='/2: $NUM1が$NUM2と等しいとき成功します。
• '=\='/2: $NUM1が$NUM2と非等価なとき成功します。

述語

floattoint/2

floor/2

log/2

exp/2

'/\'/3

'\/'/3

'#'/3

'\'/2

'+'/3

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

'-'/3

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

'*'/3

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

'/'/3

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

'//'/3

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

'///'/3

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

'>'/2

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

'>='/2

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

'<'/2

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

'<='/2

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

'=:='/2

'=\='/2