与えられた演算に従って、2つの式の値を比較する。.

+式1 =:= +式2               
+式1 =\= +式2               
+式1 > +式2
+式1 >= +式2
+式1 < +式2
+式1 =< +式2

これらの述語は、式1と式2の値を比較する。 それらは、左辺の基本計算式(式1) の結果と、 右辺の基本計算式(式2)の結果の、与えられた演算に従った比較が真であれば成功し、それ以外は失敗する。

'=:=', '=\=', '<', '=<', '>', '>=' は組み込み挿入演算子である。その優先順位は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標準に含まれる。

冒頭へ