いよいよ高まってきたProlog熱。こんなこともあろうかと参考書籍を集めてきた(参考書を買ったら勉強した気になるタイプ)。 今はフリーでProlog処理系が試せるよい時代。MacOSX上のhome brew経由でGNU Prolog(gprolog)、swi-prolog(swipl)がインストールでき…