問題タブ [iso-prolog]

プロローグで if を実行する方法はありますか。たとえば、変数が 0 の場合、いくつかのアクションを実行します (端末にテキストを書き込む)。else は必要ありませんが、if のドキュメントが見つかりません。

プロローグのパイプ演算子は、1つ以上のアトミックヘッドとテールリストを返します。

1回の一致で複数のパイプをネストするには、次のように実行できます。

ステートメントは[a|b|c]a、b、cについて何を推測しますか？

編集

これまでのところ、私が推測できるのは次のとおりです。

私は、この境界線の役に立たない質問に答えるよりも、答えを見つけるためのテクニックに興味があります。

EDIT2
私は明らかにプロローグにあまり精通していません、簡単な割り当てが私の質問に答えました...

正確には何が起こっているの(b'|'c)ですか？

次のルールがあるとします。

そして、次のように実行します。

testSWI-Prolog が と の両方を'test'に統一するのはなぜunify('test', 'this is a test').ですか? SOに関するPrologの質問に答えているときに、これに遭遇しました。私はその人の質問に答えることができましたが、この特定の行動を説明することはできませんでした。

私はプロローグでいくつかのことをするためにgprologのことを使ってきました。しかし、さらにコードをテストすると、「false」がサポートされていないことがわかりました。swi でサポートされているのはどれですか?

入力：

コード：

swiプロローグで私は正しい答えを得る：

yapプロローグで失敗します。私はyapを使うべきだとわかりました。

代わりに何を使用する必要がありconcat(abs_,L,Fct_A)ますか？atom_codesを試しましたが、アトムの最後に奇妙なASCIIが追加されています。助けてください 。

リストの最小値を見つけようとしています (学習経験として、min.

私のアプローチは次のとおりです。

これにより、次のエラーが表示されます。

構文エラー: 演算子が必要です

だから私の質問は：

• 構文エラーの原因は何ですか?
• 実際に正しい値が返される場合は修正されたら自分で試してみますが、これは実際には正しいアプローチでしょうか?

前もって感謝します。

SWI-PLドキュメントでKey-Valueペアに何度か遭遇しましたが、それらについての適切な情報を取得できませんでした。これはプロローグの標準的なものですか、それとも単なるswi plのみの拡張機能ですか？主にここにあります： http ：//www.swi-prolog.org/pldoc/doc_for？object = keysort / 2 およびここにあります：http：//www.swi-prolog.org/pldoc/doc_for？object = section％282、 ％27A.3％27、swi％28％27 / doc / Manual / assoc.html％27％29％29

ペアの形式は、たとえばa-5、またはリスト[a-5、b-7]です。

そして、それが標準である場合、それらを使用するための付加価値はありますか？彼らの興味は何ですか？前もって感謝します ：）

私はPrologを初めて使用し、「」と「」が異なる動作をすることに気付きましたが、その理由について興味があります。具体的には、ファイルをロードするときは機能しますが、?- ['test1.pl'].機能し?- ["test1.pl"].ません.

したがって、特定の述語は+、+モードで機能する必要があると言われています。それはPrologでどういう意味ですか？

私は次のものを持っています：

このように呼び出すと: is_digit(X)。

次の結果が得られます。

同じ結果を得る必要がありますが、引用符は必要ありません。簡単な質問で申し訳ありませんが、これを回避する方法を見つけることができませんでした。ありがとう！