2.7.5　論理述語を使用した検索

抽象データ型で定義した関数や，ユーザ定義関数の結果が論理値（TRUE，FALSE，又はUNKNOWN）となる場合，真偽を判定するために論理述語を使用します。論理述語を使用したデータの探索例については，「抽象データ型を含む表のデータ操作」を参照してください。