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