コンパイラが出す以下のエラーメッセージについて、モジュールの宣言と定義と関連させて解説します。

module_interface_not_found インポートされたモジュールのコンパイルされたものを見つけることができません。参照しているすべての.semファイルが、現在のディレクトリあるいはifsemにlibraryオプションで指定された場所にあるようにして下さい。

module_body_expected モジュールボディの宣言の前に、つまり、モジュールヘッダに、述語の定義があります。

illegal_option 指令の構文に誤りがあります。

undefined_option 未定義の指令が見つかりました。

option_not_expected モジュールに関する指令が、適切でない場所におかれています。例えば、モジュールボディの中のエキスポート指令やモジュールヘッドの中のインポート指令が見つかりました。

illegal_module_name モジュール宣言の引数がアトムではありません。