>>485
この述語が正しく記述できたかは、それを読んでいる副目標の構造と、
述語の頭部を比較するのですが、その時に一瞥で正しさを判断する
ためには、スカラ型データが有利だということが一番大きいと思います。
引数に複合項があり、その中に変数が含まれる場合の判断は遅くなるし
難しくなります。関数名が助けになるのではないかとの質問でしたが、
関数名を適切に与えることは結構難しく、部分構造の後からの変更は
更に難しくなります。Prologが関数型言語と比較して優位なのはこの
ような関数の型評価をほとんど行わなわない、単純なユニフィケーション
に終始できる可能性にあると思っています。