問題タブ [prolog-toplevel]

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.

0 投票する
1 に答える
129 参照

prolog - インタープリターで結果を表示するプロローグ

入力カウントに応じて素数の数を計算するこのプロローグ述語があります。

ただし、インタープリターでは、必要な素数を 10 と入力したにもかかわらず、最初の 9 つの素数しか表示されません。

結果は次のようになります

しかし、グラフィカル デバッガーを使用してトレースすると、実際には正しい結果が得られます。

だから私は何をするのだろうと思っています | ... 意味?

0 投票する
1 に答える
288 参照

prolog - ... from (swi) prolog 出力の取り出し方

重複の可能性:
SWI-Prolog を対話的に使用する - 出力がオフになる

Prolog で X 回の 1 を 8 で置き換えるプログラムを作成しました。

正しい出力が得られるため、プログラムは正しく機能します。しかし、長い入力を与えると、出力が省略されます。これを防ぐ方法は?

例:

の出力は

出力端末に X のすべての文字を表示するには?

0 投票する
2 に答える
188 参照

prolog - Prologで「?-」はどういう意味ですか?

?-Prologではどういう意味ですか?

例えば:

0 投票する
1 に答える
10856 参照

prolog - プロローグ無名変数

Prolog変数について私が理解したことは次のとおりです。

  1. 単一のアンダースコアは、発生するたびに新しい変数のような無名変数を表します。

  2. _W のようなアンダースコアで始まる変数名は無名変数ではありません。または、Prolog 内で生成された変数名 (_G189 など) は匿名とは見なされません。

理解を助けていただけますか?

ところで、上記の例はいくつかのチュートリアルから取得しましたが、SWI-Prolog バージョン 6 で実行すると、次のようになります。

ありがとうございます。

0 投票する
2 に答える
4777 参照

prolog - エラー: 未定義のプロシージャ: (:-)/2

私はPrologの初心者です。たとえば、 SWI-Prologシェルでルールを設定しようとしています-

しかし、それは促します -

SWI-Prolog バージョン 6.2.6 を使用しています

0 投票する
3 に答える
3929 参照

prolog - プロローグリストのメンバーシップ、複数の結果が返される

リストのメンバーシップを決定するための標準的な手順があります。

私が理解していないのは、次のクエリを実行する理由です。

結果は

最初のルール(aはリストの先頭であるため)を使用して目標を達成すると、Trueが返され、それがifの終わりになると思いました。次に、2番目のルールを使用して目標を達成しようとして失敗したように見えますか?

PrologインタープリターはSWI-Prologです。

0 投票する
1 に答える
1570 参照

prolog - PrologのReturnレスポンスを変更

私はプロローグでのプログラミングの初心者です。

標準の yes または no の代わりに true / false を返すように、プロローグ プログラムによって返される値を変更したいと考えています。

非常に単純な例を考えてみましょう: 例 simple.P

プロローグのコマンド ラインで isNode(1) と入力すると、次のように yes が返されます。

私の質問は:

これを yes から true に変更するにはどうすればよいですか?

0 投票する
1 に答える
2289 参照

module - インポートしたモジュールをリロードする

私が直面している「問題」は、SWI-Prolog モジュール システムを使用し、モジュールを定義して他のモジュールで使用する場合、インポートされたモジュールが変更された場合、SWI-Prolog はインポートモジュールをロードするときにそれを考慮しないことです。例えば:

私が今それらをロードした場合:

ファイルを変更した場合:

Prolog に、インポートされたすべてのモジュールとそれらがインポートするモジュールを使用せずに参照させるにはどうすればよいconsultですか?