PROLOG23 SF問題の復習
このソフトウェアは, Arity PROLOGのコンパイラ・プログラムのコンパイル済み
のEXEの実行ファイルと,そのソースファイルを公開し, PROLOG学習の参考資料
とするものです。今回は,前回の太陽系のデータの整理から迂生の過去のSF時代
(註:月世界でモーターサイクルのスクランブルさせることを,迂生は商業誌に発
表して鼻を高くしていた。というよりも,稿料かせぎ?)で知った4色問題をテー
マにいたしました。4色あれば地図の塗り分けができるというゲーデルの理論を4
0年以前のコンピュータにやらせたらどんな結末になったか?を迂生の参加してい
た「宇宙塵(同人SF誌)」の創刊号にありました。当時のSF作家のタマゴ達の
思考は,これをSFの世界でとらえていました。この問題をあなたのパソコンにや
らせようとしたのが今回の学習です。