このディレクトリの索引
http://toro.2ch.net/test/read.cgi/tech/1276873238/633
#  問題 
#  13桁のISBNコードを検査せよ。 
#  例 
#  9784062772211 => OK 
#  9784150315684 => NG 
# 
# 

'13桁のISBNコードを検査せよ。'(_13桁のISBNコード) :-
        sub_atom(_13桁のISBNコード,0,12,1,S1),
        sub_atom(_13桁のISBNコード,12,1,0,_冗長符号),
        モジュラス10ウェイト3(S1,_冗長符号),!.



%  モジュラス10ウェイト3/2