文中のプログラムは foo/1 の節が連続していないところに問題がある．処理系によっては何事もなく読み込まれるが，処理系によっては警告が出る．それでも，「警告はエラーにあらず」と言い張れば，ほとんどの処理系では実用上問題ないが，GNU Prolog だけは…