関数型論理プログラミング言語Mercuryのチュートリアルを読む - ラシウラhttp://www.icfpcontest.org/rules.htmlにある言語のうち、ひときわマイナーで目立ってました。 http://www.cs.mu.oz.au/research/mercury/ Mercury (programming language) - Wikipedia 関数型論理言語にはCurryもありますがCurryがHaskellに論理プログラミング機能が追加された感じであるのに対し、MercuryはPrologから進化させた感じに見えます(main的な意味で)。 コンパイラによってC環境だけでなく、.NET、Java、Erlangを実行環境につかえるなど、面白い構造になっています。 チュートリアル: http://www.cs.mu.oz.au/research/mercury/tutorial/book/book.pdf Hello World :- mo
