改札口は1階、ホームは2階にある。待合室は1番と2番ホームにある。トイレは1階通過線の真下付近にある。エスカレーター、エレベーターは1階と2階にある各ホームを連絡する。2013年度の設備投資計画にて行先案内表示器の新設が盛り込まれ、12月6日より供用を開始。
複々線高架化工事着工前は、相対式ホーム2面2線を有する地上駅で上下線ホームを連絡する跨線橋があり、ホームの西端（成城学園前駅より）で線路と祖師谷通りが直交しており踏切が設けられていた。上り方向ホームの西端に駅長事務室と常設改札口があり、下り方向ホームの西端には平日ラッシュ時間帯のみ使用される臨時改札口があった。高架化工事に伴い、間に通過線をはさんだ相対式ホーム2面4線を有する高架駅に改築され、ホーム西端改札口に接した祖師谷通り踏切は廃止された。2004年5月22日まで、下り急行線となる場所を用いて一部の上り優等列車が各駅停車を追い越していた。なお配線上の都合から上り電車は急行線が通過後に、緩行線が到着直前に大きく揺れた。同年5月23日から、成城学園前 - 経堂間の上り複々線化に伴い配線が一部変更された。2004年9月26日から、経堂 - 成城学園前間の下り複々線化に伴い、下りの優等列車もホームに接しない線路を用いるようになった。
駅所在地が「北多摩郡千歳村大字下祖師ヶ谷」と「北多摩郡砧村大字大蔵」に挟まれるようにあったことから「祖師ヶ谷大蔵」となる。駅名は「祖師ヶ谷大蔵駅」であるが、地名は「世田谷区祖師谷」であるため、駅周辺の店舗名などでは「祖師谷大蔵」と表記されることもある。上述の東急バス「祖師谷折返所」も元は「祖師谷大蔵」というバス停名であった。
低地マヤにおける冥界は死神ア・プチが支配し、9つの階層に分かれている。最上階の層は人間が住む地上世界で、最も深い第9層にア・プチが座る玉座がある。「ミトナル」は、この玉座のある最下層のみを示すとされるが、9層全てをミトナルと呼ぶこともある。
大池親水公園の一部として整備され、周囲は親水公園となっている。所在地周辺は住宅地（新市街地）となっているが、かつては集落の他、主に水田などの農地が広がっていた。かつての大池はほぼ円形の自然池であったが、周辺の公園整備の際に一部の水域が埋め立てられ、ほぼ東西方向にタマゴ型の池となった。池には噴水や中の島が築造されており、島には橋が架けられている。池の周辺の河川とは、西側で会之堀川と、東側で大落古利根川と、それぞれ水路を介して接続している。
ナンシー事件において、兵士鎮圧の措置を支持したラファイエットの人気がなくなり、かわってバルナーヴ、ラメット、デュポールら三頭派が国民議会の主導権を握った。しかし、そのかれらも1791年6月の国王逃亡事件（ヴァレンヌ事件）によって苦境においこまれ、三頭派の革命方式もまた破産が明白となった。
1983年版のPARLOGと1986年に改良されたPARLOGとでは、言語の特性や細かいシンタックスがそれぞれ異なる。1983年版PARLOGのプログラムの例を以下に示す。append(x, y, z)は x と y の2つのリストを連結したリストが z であるという関係を表している。Prologと異なり、英小文字で始まる項が変数を表す。relationはモード宣言を示し、複数の組み合わせを指定できる。relation append(?,?,^)relation append(?,^,?)relation append(?,?,?)append([], y, y).append([u|x], z, [u|z]) :- append(x, y, z)1986年版では複雑だった言語仕様を整理し、より効率的な実行が可能になった。1986年版PARLOGのプログラムの例を以下に示す。Prolog同様、英大文字で始まる項が変数を表す。merge(Xs?,Ys?,Zs^)はXsとYsの2本のストリームをマージして1本のストリームZsにする。modeはモード宣言を示し1述語に1つのみ指定できる。mode merge(Xs?,Ys?,Zs^).merge([A|Xs],Ys,[A|Zs]) <- merge(Xs,Ys,Zs).merge(Xs,[A|Ys],[A|Zs]) <- merge(Xs,Ys,Zs).merge([],Ys,Ys).merge(Xs,[],Xs).PARLOGによるプロセス間の同期の機能は、kernel PARLOGというモード宣言を持たない単純な標準形式に変換することで実現された。PARLOGでモード宣言が果たしていた役割は、特殊な単方向のユニフィケーションを入力側はガード部に、出力側はボディ部に付加することで実現され、ガード部で中断が行われる。例えば、上記プログラムの最初の節はkernel PARLOGで以下の形式に変換された。merge(X,Ys,Z)<-  [A|Xs] <= X :  Z = [A|Zs] ,merge(Xs,Ys,Zs). <= は一方向のユニフィケーションを表し、Xが[A|Xs]のようなリストの形になっていない場合は中断し、他のプロセスにより[A|Xs]の形に具体化された場合に実行を再開する。この時点でXs自体は具体化されていなくてもかまわないため、リストの先頭からインクリメンタルに具体化されるストリームを素直に処理できる。