アトムの文字数を単一化する。
atom_length/2 は、アトムの文字数で、数 を単一化する。
アトム アトム 数 整数 >= 0
この述語は、ISO-Prolog標準に含まれる。
戻る 続く..