EqOR述語とswitch述語の追加
sysモジュールにEqOR述語とswitch述語を追加する。 EqOR述語は、複数のリストとの同一性のチェックを行う。 switch述語は、引数と一致するリストに対応する述語を呼び出す。
sysモジュールにEqOR述語とswitch述語を追加する。 EqOR述語は、複数のリストとの同一性のチェックを行う。 switch述語は、引数と一致するリストに対応する述語を呼び出す。