index(+文字列_式,+副文字列_式,-位置)
文字列「文字列_式」中に最初に現れる「副文字列_式」を探し、「位置」はこの最初の位置に単一化されます。そのようなサブストリングがない場合には、この手続きは失敗となります。「文字列_式」と「副文字列_式」は、アトムあるいは計算式です。計算式の場合には、実行中に評価されます。
?- index(atom,to,Pos).
Pos = 2
?- index(開発元,元,Pos).
Pos = 3 yes ?- _
atom_expected 第１引数あるいは第２引数の値がアトムでない