Loading
_neq (!= / <> 比較)
形式
_neq( $src, $dst)
引数
- $src: 比較元(左辺)
- $dst: 比較先(右辺)
完了時の動作
- 比較結果が真の時($srcと$dstの値が違う):次の述語を実行に移ります。
- 比較結果が偽の時($srcと$dstの値が同じ):バックトラックします。
バックトラック時の動作
- 常にバックトラックします。前の述語にバックトラックします。
説明
内部で使用しています。!=(<>)演算子はこの述語に置き換えられます。
$src != $dst
!=および_neqはユニフィケーションを実行します。が結果を反転させます。$srcと$dstの違いはありません。入れ替えても同様に動作します。
Powered by ADP.