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…