2011-12-01から1ヶ月間の記事一覧

前の記事の答え(または黒魔術)

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

Prolog

問. 以下のプログラムについて,述語 go/0 の呼び出しが次の処理系の全部で成功するように,プログラムの先頭に適切なコードを追加しなさい.なお,プログラムの読み込み時または実行時にエラーが発生しないようにすること.また,foo/1,bar/1,go/0 の定…