Mercury の標準ライブラリから，数値演算に関するよく使いそうな述語をピックアップしました． float モジュール (浮動小数点数) 基本演算 :- func + (float::in) = (float::uo) is det. :- func - (float::in) = (float::uo) is det. 前置演算子 :- func (f…

Mercury の標準ライブラリから， よく使いそうな述語をピックアップしました． require モジュール error :- pred error(string::in) is erroneous. エラーメッセージを表示してプログラムを停止する． bool モジュール bool 型 :- type bool ---> no ; yes.…

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

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

Mercury の標準ライブラリから， 入出力に関連するよく使いそうな述語をピックアップしました． よく使う述語 io.print :- pred io.print(T::in, io::di, io::uo) is det. :- pred io.print(io.output_stream::in, T::in, io::di, io::uo) is det. 任意の値…