問題タブ [mercury]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
mercury - マルチモジュール Mercury プログラムの構築
Q. 2 つのモジュールからなる水銀プログラムを構築するための簡単なテンプレートは何ですか? Module_1 は、単純な関数または述語を定義してエクスポートします。Module_2 は関数/述語をインポートして有用な結果を計算し、結果を出力します。
debugging - Mercury プログラミング言語でデバッグ用にコンパイルするにはどうすればよいですか?
Ubuntu 14.04 で Mercury 14.01.1 を使用しています。ソースコードからデバッグ用グレードを含む4つのグレードを搭載。次のそれぞれを試してみましたが成功しませんでした (ファイル/ディレクトリがありません)
$ mmc --debug ファイル名
$ mmc --decl-debug ファイル名
Q. 代わりに何を入力すればよいですか?
list - リストをインポートまたは出力する述語の pred を宣言する方法は?
リストをインポートまたは出力する述語の pred を宣言するヘルプを探しています。私は試しました:- pred name(list::in, integer::out) はマルチです。また、list/0 が認識されないというコンパイラ エラー メッセージが表示されます。ライブラリモジュールのリストをチェックして、...(list(T)::in . . . ) のように書く必要があることを確認しましたが、何をすべきかを完全には理解していませんでした。
mercury - Mercury でテキスト行を次の行に継続するにはどうすればよいですか?
長すぎる行を次の行に続けるにはどうすればよいですか? バックスラッシュを使用しようとしましたが、Mercury コンパイラはその規則を受け入れません。このありふれた質問に対する答えを見つけることができませんでした。
mercury - long 整数のリストを表示するにはどうすればよいですか? (水星語)
io.write_list(List(integer), ",", OutputPred, !IO) の OutputPred とは? 整数型のリストを表示しようとしています。リストは最初は決して空ではありません。
mercury - サブディレクトリにサブモジュールを含む Mercury プログラムをビルドする
別のファイルからモジュールをインポートする水銀プログラムがあります。このファイルをサブディレクトリに配置できるようにしたいと思います。これどうやってするの？
を使っmmc -E --make --trace deep filenameてプログラムを作っています。
Building Multi-Module Mercury Programsを見てきましたが、間違っている可能性はありますが、サブディレクトリの問題に対処していないようです。
mercury - Mercury で変数がインスタンス化されているかどうかを確認する方法
私は以前に Prolog を学んだことがありますが、Mercury 言語の完全な初心者です。水星の新しい側面の 1 つは、脱皮症です。main関数は決定論的でなければなりません。そのためには、変数が値に統合/バインドされているかどうかを確認する必要がありますが、その方法が見つかりません。特にコードを参照してください。
そのようなmainものは失敗することはありませんでした。つまり、決定論的制約を満たします (私は推測します)。問題は、変数がバインドされているかどうかを確認する方法です。