ADP

Programming Language ADP

Sourceforge.net

Loading

_neq （!= / <> 比較）

形式

　_neq( $src, $dst)

引数

$src: 比較元（左辺）
$dst: 比較先（右辺）

完了時の動作

比較結果が真の時（$srcと$dstの値が違う）：次の述語を実行に移ります。
比較結果が偽の時（$srcと$dstの値が同じ）：バックトラックします。

バックトラック時の動作

常にバックトラックします。前の述語にバックトラックします。

説明

内部で使用しています。!=（<>）演算子はこの述語に置き換えられます。
$src != $dst
!=および_neqはユニフィケーションを実行します。が結果を反転させます。$srcと$dstの違いはありません。入れ替えても同様に動作します。

Powered by ADP.