問題タブ [bound-variable]

num は束縛変数ですか、それとも自由変数ですか?

PS このコードは python で書かれています。これより前のコードはありません。

コードでエラーが発生しています。これは、コードの column=:variable セクションに何か問題があることを意味していると確信していますが、調べてみたところ、何が問題なのかわかりません。

コードは次のとおりです (長い最初の行):

編集: image_link は :image_link である必要がありましたが、同じエラーが発生します

編集 2: 多くの間違いがあり、bindParam の代わりに bindValue を使用して、$sql と $stmt の 2 つの名前を使用していました

apply私はRでのループを避けるためにファミリ関数を使用することに慣れてforいます。このコンテキストでは、バインドされた変数の入力を避ける方法があると思っていました。たとえば、操作を 100 回実行したいとしますdo.call(myfun, args)。for私は書くだろう：

次のようapplyに入力します。

sapply関数を 1 つの引数に適用しようとすることは理解していますが、これは の要素ですseq(100)が、これを回避する方法はありiますか?

洞察をありがとう

ラムダ計算のコンテキストで自由変数と変数の自由発生の間に違いはありますか? はいの場合は、例を 1 つまたは 2 つ挙げて説明してください。実際、次の行に出くわしたラムダ式の変換規則を調べていました。

変換規則を述べる際に、表記法は、の各自由出現をE[E'/V]代入した結果を意味するために使用されますE'VE

次の作業プログラムがあります: (このサイトでテストできます: http://swish.swi-prolog.org。保存したプログラムへの直接リンクを削除しました。誰でも編集できることに気付いたからです。)

無向グラフの 2 点間のパスを検索します。重要な部分は、結果が「メイン」述語のスコープで返されることです。(トラック変数内)

結果：

私の質問:

1. 訪問したノードのリストは、2 つの異なる方法で述語に渡されます。バインドされた Visited 変数とバインドされていない Track 変数。これら 2 つの異なる形式のパラメーター受け渡しの名前は何ですか?

2. 通常、私はバインドされていないパラメーターの受け渡し (トラック変数) を使用して、結果をメインの述語のスコープに入れたいだけでした。しかし、メンバー チェックが Track 変数で機能しなかったため、Visited 変数も追加する必要がありました (理由はわかりません)。バインドされていない方法でトラックを渡すだけで動作させることは可能ですか? (Visited 変数なし)

どうもありがとう！