|
|
|||||||||
与えられた演算に従って、2つの式の値を比較する。.
+式1 =:= +式2 +式1 =\= +式2 +式1 > +式2 +式1 >= +式2 +式1 < +式2 +式1 =< +式2
これらの述語は、式1と式2の値を比較する。 それらは、左辺の基本計算式(式1) の結果と、 右辺の基本計算式(式2)の結果の、与えられた演算に従った比較が真であれば成功し、それ以外は失敗する。
| 演算子 op | 意味 |
|---|---|
| =:= | 等しい |
| =\= | 等しくない |
| > | より大きい |
| >= | より大きいか等しい |
| < | より小さい |
| =< | より小さいか等しい |
'=:=', '=\=', '<', '=<', '>', '>=' は組み込み挿入演算子である。その優先順位は700で、非結合性である。 (関連 current_op/3).
引数
式1 +評価式
式2 +評価式
例
------- =:= -------'=:='(2*4, 4*2). 成功。
X=6-3, X+6 =:= X*3. X <- 3 の代入で、成功。
X=4, Y=4.0, X =:= Y. X <- 4, Y <- 4.0 の代入で、成功。
'=:='(3,2). 失敗。
1 =:= X/3. エラー。
S =:= 2/0. エラー。
------- =\= -------
100 =\= 101. 成功。
'=\\='(2*4, 4*2). 失敗。
X=6-3, X+7 =\= X*3. X <- 3 の代入で、成功。
X=4, Y=4.0, X =\= Y. 失敗。
'=\\='(3,2). 成功。
1 =\= X/3. エラー。
S =\= 2/0. エラー。
------- < -------
X=3, Y=4, X < Y. X <= 3, Y <- 4 の代入で、成功。
3.0 < 3.1. 成功。
X=11, 12 < X. 失敗。
1 < X. エラー。
------- =< -------
X=7, Y=8, X =< Y. X <- 7, Y <- 8 の代入で、成功。
X=5, Y=5.0, X =< Y. X <- 5, Y <- 5.0 の代入で、成功。
8 =< 7. 失敗。
------- > --------
X=14.0, Y=14.3, X+1 > Y. X <- 14.0, Y <- 14.3 の代入で、成功。
5.7 > 5. 成功。
X=11, X > 12. 失敗。
X > 3. エラー。
------- >= -------
X=4, Y=3, X >= Y. X <- 4, Y <- 3 の代入で、成功。
X=6, Y=7.00, X+1 >= Y. X <- 6, Y <- 7.0 の代入で、成功。
4.6 >= 4.5999. 失敗。
標準
これらの述語は、ISO-Prolog標準に含まれる。
| document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/arithm_comp/arithm_comp/print_jp.html published 2008/7/7 update 1998/8/5 (c) 1996-2006 IF Computer Japan | ||||||||
|
