Mercury の標準ライブラリから， 文字列に関連するよく使いそうな述語をピックアップしました． 基本操作 string.length :- func string.length(string::in) = (int::uo) is det. :- pred string.length(string::in, int::uo) is det. 文字列の長さを返す． …

プログラムでC言語のソースコードを出力して，コンパイル・実行するプログラムです． hello, world.