geniacllm/wiki40b huggingface dataset:
ベルは2度結婚した。最初の結婚は戦後、事業を始める前の1947年で、相手は18歳の女性であった。最初の妻は夫が安定した職に就くことを望んでおり、ベルの飲食店経営を快く思っていなかった。一男を儲けたが、事業に没頭し、息子の誕生日にも家に帰ってこないベルとの間の溝は埋まらず、1953年に離婚した。最初の妻との間の息子は引き取った。1955年に学校教師と再婚、一男一女を儲けた。なおシャーロック・ホームズのモデルとなったスコットランドの医師、ジョセフ・ベルの子孫であるという主張があるが、根拠は不明である。ジョセフ・ベルの一人息子であるベンジャミン・ベルは1893年に死んでいる。一方、グレン・ベルの父グレン・ベル・シニアはアイオワ州の農家の出身で、1978年に80歳で死亡と記録があることから、ベンジャミン・ベルの死後の生まれである。
京都府生まれ。本名・海老名彰一。1961年京都大学文学部卒。東急エージェンシー本社マーケティング局長、関西支社長などを経て、1984年独立。『冬の火花』でデビュー。サラリーマンたちの人生を見つめた著作を発表。
この番号を用いる牛の個体識別システムは、一頭の牛を生涯唯一の番号で識別・管理し牛の異動履歴を把握しようとするもので、2001年9月、牛海綿状脳症（BSE）が日本で初めて確認されたことを発端に、BSE緊急対策として、全国のすべての牛に対して固有番号を付した識別耳標の装着を行って、各個体の生産・異動情報を管理する。2003年12月、牛の個体識別のための情報の管理及び伝達に関する特別措置法（平成15年法律第72号）の施行により、個体識別制度として牛の管理者等の義務づけが強化され、また、2004年12月からは牛肉の流通過程においても個体識別番号の伝達、記録等の仕組みが構築されている。畜主は、牛の出生と同時に耳に個体識別番号が書かれたタグを装着し、装着した番号を個体識別センター（家畜改良センター）に報告する義務がある。なおこの番号は、牛が食肉（牛肉）として流通する段階まで明記されており、例えばスーパーマーケットで販売されている精肉のパッケージにまで記載されている。またこの番号は誰でもインターネットを通じて参照する事が出来る。
創建については諸説あり、孝謙天皇の御代に勧請されたとも、東方の嘉例沢村（現 黒部市嘉例沢）の山頂から御幣が飛んできて三日市に留まり、それを土地の人々が祀ったところ、3体の神像が出現したので「三島大明神」と称して信仰したとも伝わる。延喜式神名帳では小社に列格している。「三島大明神」という名の由来については、鎌倉時代に佐野源左衛門が伊豆の三嶋神社を崇敬し、三嶋神社の桜の枝を取り寄せて当社境内の木に接木したことによるという伝承もある。当社の神紋は「桜井桜」と呼ばれる桜の紋である。元は現在地より北、約500mの地に鎮座していたが、天正8年（1580年）に現在地に遷座した。明治6年（1873年）に県社に列格し、大正14年（1925年）6月24日、三日市周辺にある神社を合祀した。昭和17年（1942年）、木曽帝室御料材払下げの檜を使用した現在の社殿が完成した。
境内は黒部市指定史跡となっている。飛地境内（かつては広大な境内を有していたが、分断された）にある「桜井の化藤」「三島の大ケヤキ」は市指定の天然記念物である。鶏が神使とされており、元禄2年（1689年）に奉納された鶏の絵馬が残されている。
12年前、太陽系に新たな彗星が加わった。その彗星は今まであったどの彗星よりも巨大であり、地球最接近時にはその彗星の持つ磁場により地球へ大規模な電波不通をもたらした。 電波が失われたことにより、テレビを付けても電波を通じての放送が受信できず、画面が砂嵐状態のままであったことからこの彗星は通称『テレビの消えた日』と呼ばれる。地球から電波が失われた日、主人公・美作慎吾は父の上司である穂坂健一が意図的に引き起こした電波障害を利用した飛行機事故によって、家族を失ってしまう。その事実を知った慎吾は、いつか穂坂健一に復讐することを誓った。12年後、慎吾は自分の通う高校に入学してきたひとりの新入学生と出会う。彼女は、慎吾の家族を殺した穂坂健一の愛娘・穂坂七海であった。慎吾は、彼女を貶めることで穂坂健一への復讐を決意する。愛する人間を失った苦しみを、あの男にも味わってもらうために…
日本庭園の構成としては、池を中心にして、土地の起伏を生かすか、築山を築いて、自然石としての庭石や草木を配し、四季折々に観賞できる景色を造るのが一般的である。滝を模し水が深山から流れ出し、大きな流れになってゆく様子を表現する手法や、石を立て、また石を組合せることによる石組表現、宗教的な意味を持たせた蓬莱山や蓬莱島、鶴島、亀島などに見立てる手法が多く用いられる。池や流れを渡る通路には太鼓橋、飛び石、まれにジギザグ橋などが使われる。庭園内には灯籠、東屋（あずまや）、茶室なども配置される。また枯山水と称される、水を用いずに、石、砂、植栽などで水流を表現する形式の庭園も作られた。白砂で水の流れを象徴するところに特徴があるが、これは庭園には水が不可欠のものであるという考えがひそむ。庭園のことを山水といったのもそのためである。室町時代以降には枯山水は禅宗の思想と結びつき、禅寺などで多く作られていく。江戸期以降になると庭園内のみならず庭園外の景色を利用する借景という手法も広く用いられる。日本の庭園様式の変遷をひもとけば、建築様式の変化や大陸からの宗教や思想の影響が庭を変化させている。磯崎新は日本の庭園が特に海などをメタファーにすることにつきるように思われるのは「見立て」というメタファー発生装置を作り上げたためだと述べている。作庭記の記述も池泉やそれらを表現するための石組みなどでもうみなど、自然をメタファーとして表現し、見立てによって縮景を行う作庭手法を伝聞する。このようなメタファーを用いたのは、それが表現するものを不特定多数の人に伝える浄土式や神仙などのような古来の思想を含んだ庭には表現すべきモデルとしての、斎庭などの儀式の庭はその場の神や同調者とが、禅寺の庭も景を修行のひとつである思想を持つ人々が共有する景が必要であるからとされる。建築から外部空間の問題は近代期の日本においては逆説的とされる。これは日本の伝統的な建築的風土は外部空間を自明なものとして現前させてきているからである。近代建築のように様式という縛りがなくなり、すべての空間構成要素は等価となり、べつの空間構成言語として外部空間は意識されると、近代建築のフィルターをとおして日本の伝統的空間対する理解を深めていったモダニストの建築では外部空間の重要性に気付き、これを自らの空間表現の俎上に載せたのである。それを建築家堀口捨己は意識的に挙げている。堀口は明治大学建築学科での造園論の講義の中で、日本庭園の起源としての自らの庭園観を披露しているが、このとき従来の庭園イメージとは異なる庭園について述べるといって、3つの要素、古代の古墳、厳島神社、皇居の堀端を上げている。そこでは建築も、庭園も自然もそういうものがあいよりあいまって、ひとつの何か空間構成、スペースデザインというような言葉に丁度ぴったり合ったような非常に大きな空間構成をやっていると語っている。すなわち庭園を庭園と建築とに分けてしまうのではなく、建築や自然さらには敷地が持つ雰囲気をも含めた総合的で都市計画的な空間構成を持って庭園といっている。1934年に発表した岡田邸は洋室部分と和室とを外部空間である庭で媒介している。しかしここでは、いえとにわをつなぐ月見台が南面した広間から延び、そこから秋草の庭へと空間が遷移し、建物を外部へと開く魅力的な場所を提供している。こうした空間構成は堀口の戦後の作品にもみられる。和洋を並存させ、また建築と庭とを一体化させることで場面や奥行きを生じさせ、日本の美意識に通じる空間構成を完成させるに至る。和風庭園の呼び方は、現在実際に作られている通常の日本庭園が昨今の洋風庭園と区別するためか和風庭園と呼ばれることが多くなったとされる。こうした庭園は特殊な人々のための社寺庭園や大名庭園，茶庭ではなく，江戸時代に富裕な商人たちが設けた数寄屋建築に合わせてつくられた，それほど大きくない淋西な庭。日本旅館の庭や料亭などに設けられる傾向がある。
日本の特別名勝一覧・名勝も参照のこと。
19世紀後半、欧米圏ではジャポニスムの流行とともに、庭石・太鼓橋・灯篭・茶室などを配した日本風の風景式庭園がつくられるようになった。現地の作庭家が日本をイメージして奔放に制作したものもあれば、日本から職人を招いて制作したものもあるが、いずれも「日本庭園」（Japanese Garden）と称される。1867年のパリ万国博覧会は日本（江戸幕府・薩摩藩・佐賀藩）が初参加した万博であったが、このときに日本庭園が制作されて以来、欧米で開催された万博において日本庭園は日本の出展物の目玉の一つであった。ヨーロッパでは貴族や富豪が日本風庭園を作るようになり、北米大陸でも公園の一角に日本風庭園や茶亭が制作されるようになった。この時期、ヨーロッパで活動した日本人庭師に畑和助ら、北米で活動した日本人庭師に岸田伊三郎らがいる。お雇い外国人として来日していたイギリス人建築家ジョサイア・コンドルは、1893年に『日本庭園入門』（Landscape gardening in Japan）をケリー・アンド・ウォルシュ社から出版した。日本庭園の沿革から構成方法いたるまでを小川一真の撮影による写真を多く用いて視覚的にもわかりやすくまとめたもので、コンドルは、日本の庭園造形は周囲の自然風景の特徴ある部分を選び出してレ・プレゼントしたものである、と説明している。この本はイギリスのほか上海やシンガポールでも販売され、児玉実英によると、当時この本を参考にアメリカなど海外で日本庭園が実際に造られたとされる。第二次世界大戦後はアメリカで復刻され、現在でも講談社インターナショナルで復刻版が刊行されている。イギリス人植物学者レジナルド・ファラーは日本やアジア諸国の植物採集旅行をする中で日本の庭園に惹かれ、その経験がロックガーデンの造園法に関する著書に反映されている。また、戦前の日本造園学会や日本庭園協会、日本造園士会の設立などにも井下清らとともに重要な役割を果たす龍居松之助は造園史の研究と教育の傍らで庭園に関する多くの著作を英訳し、海外への紹介につとめている。第二次世界大戦後は、姉妹都市間の交流の一環などとして新たに日本人作庭家の設計による日本庭園も作られていく。またアメリカ合衆国では、日本庭園愛好者のための専門誌も発行されている。
第1位受賞作品のみ次年度の全日本吹奏楽コンクール課題曲Vとして採用されている。規定としては、中学を除く部門を対象とした3〜4分程度の、吹奏楽曲の開発を意図した現代的な作品とされているが、第3回のように大部分が調性音楽で受賞した例も存在する。行進曲の応募も認められているが、2018年現在行進曲が第1位を受賞したことは一度もない。本コンクールと同様に受賞・入選作品が課題曲となる朝日作曲賞と比較すると、応募総数は毎年多くない。編成はかつては(例)として多様な編成が望まれていたものの、現在はオーボエとファゴット2本が義務付けられ、変更可能箇所は打楽器、ピッコロ持ち替えフルートパートのみである。題名にアラビア数字とローマ数字は使えるがアルファベットは使用できない。
水深3-20ｍのサンゴ礁や岩礁域に生息し、主に小型甲殻類を捕食する雑食性。本種の吻は岩やサンゴの隙間に棲む生物を食べることに適応したものと考えられる。水の澄んだところやゴロタ石の海底は好まない。
西部太平洋、東部インド洋の熱帯域に生息しており、フィリピンや東南アジアでは普通種である。日本国内にはあまり多くない。
観賞魚として古くから流通している。また、この風貌と鮮やかな色彩から人気があり、水族館やペットショップなどで目にすることも多い。但し、人工配合飼料に慣れることがなく、餌付けは難しい。
1957年3月3日、20歳の誕生日を目前にしたレクナゲルはホルメンコーレンスキー大会で国際大会初優勝。伝統あるこの大会で北欧以外の選手として初めての優勝であった。翌1957/58シーズン、ジャンプ週間で総合優勝を果たすと、続くノルディックスキー世界選手権（フィンランド、ラハティ）の90m級で銅メダルを獲得。世界トップクラスのスキージャンプ選手となった。1958/59シーズンはジャンプ週間総合2連覇を達成。満を持して出場した1960年のスコーバレーオリンピックで北欧以外の選手として史上初めて金メダルを獲得した。同年、ホルメンコーレンスキー大会で2度目の優勝を果たしてドイツ人として初めてホルメンコーレン・メダルを授与された。1960/61シーズンのジャンプ週間で史上初となる3度目の総合優勝。1962年の世界選手権（ポーランド、ザコパネ）では90m級金メダル、70m級銅メダルの2つのメダルを獲得した。これにより同年の東ドイツスポーツマンオブザイヤーに選ばれた。1964年のインスブルックオリンピックで70m級6位、90m級7位の成績を残した。同年3月、シーズンを終えた時点では現役を続行するつもりだったが、ハンス・ラナーコーチと協議した上で5月に現役引退を決意した。現役引退後は獣医学を専攻し、1973年に卒業した。1970年から1990年まで東ドイツのオリンピック委員会メンバーを務めた。また1990年代には国際審判員を務めた。1996年にベルリンのプレンツラウアー・ベルク地区でSanitätshausを開設した。1962年に結婚、娘が一人いる。2007年春、レクナゲルの70歳の誕生日に自伝が発刊された。また、この年は1957年にホルメンコーレンスキー大会で初優勝してから50年の節目でもある。
アスランベク・ブラツェフ（ロシア語: Асланбек Солтанович Булацев、1963年 - ）は、国際的には少数の国家が承認している南オセチア共和国の首相。北オセチア出身。ソ連国家保安委員会（KGB）、ロシア連邦保安庁（FSB）出身のシロヴィキ。
北オセチア自治ソビエト社会主義共和国プリゴロドヌイ地区ミハイロフスコエ村に生まれる。1979年-1982年、スタジアム「スパルターク」で働きながら、北オセチア国立大学夜間学部で学ぶ。1984年、簿記専攻で北オセチア国立大学経済学部を卒業。1984年-1986年、プリボロストロイ工場の先任会計官。1987年-2006年、北オセチアKGB、FSB北オセチア局で勤務。2006年-2008年10月、連邦税務庁（FNS）北オセチア局長2008年10月、南オセチア共和国大統領令により、同国首相に任命。
『櫻画報』（さくらがほう）は、学生運動が下火になり始めてきた1970年から1971年にかけて『朝日ジャーナル』と『ガロ』に連載された赤瀬川原平作の漫画。
この漫画は、そもそも学生闘争にノリでこれといった思想もなく暴動への興味本位から参加する野次馬学生たちのために書かれたものである。この漫画ははじめ朝日ジャーナルのグラビアページに掲載されていた。作品中では、櫻画報社が朝日ジャーナル誌をのっとり、同誌を桜画報の“包装紙”とし、さらに刊行元である朝日新聞社を“古新聞、古雑誌”を生産する“古紙回収業者”としている。このような“のっとり”をはじめ、この作品には多くのパロディーや言葉遊びが含まれていて、現代のパロディーの原点も見受けられる。
地元である熊本市での馬を用いた祭事に多く触れたことから馬に興味を持ち小学4年のときから乗馬クラブへ通い始め、中学時には両親に頼み荒尾競馬場に幾度か連れて行ってもらうようになっていたという。中学校卒業後の2007年に競馬学校へ第26期生として入学。2010年卒業（アイルランド大使特別賞を受賞）。菅原隆一、平野優、川須栄彦らとは同期に当たる。卒業後栗東トレーニングセンターの崎山博樹厩舎へと所属。2010年3月6日の第1回阪神競馬3日目第5レースで騎手デビュー。初騎乗馬はプリサイストップで、16頭立ての2着に入線した。翌週3月14日の第2回中京競馬4日目第6レースのパープルスターで初勝利を挙げた。2010年は37勝を挙げ、JRA賞最多勝利新人騎手の受賞基準である31勝のボーダーラインをクリア。JRA賞最多勝利新人騎手と中央競馬関西放送記者クラブ賞を受賞した。2011年は、2010年を上回る40勝を挙げた。趣味はカラオケ。目標とする騎手は岩田康誠。自身の目標は「追える騎手になりたい」。騎乗してみたい競走馬としてサイレンススズカを挙げている。2012年7月22日、中京記念をフラガラッハで勝利し、重賞初勝利を挙げた。2017年5月28日、同年のシンザン記念を勝利したキョウヘイと共に日本ダービー初騎乗。また同年12月には通算200勝を達成した。
1972年ごろにフランスのアラン・カルメラウアーとフィリップ・ルーセルによって考案された。成立の事情から、Prolog プログラムは論理式とみなされ、その実行は述語論理によって述語が定義された環境における定理証明に擬して解釈されることが多い。利用者は論理プログラミングの枠組みを、取り分け述語論理を学習することで、この枠組みに極めて忠実なこの言語の基礎的な構造のほとんどを理解できる。その言語仕様はこの枠組み以外には考案者たちも含めてそれ以上の拡張をほとんど行っていないため、他のプログラム言語とは異なり、学習しなくてはならない概念や用語もまた、述語論理のものだけでこと足りる。計算機科学の新しい概念や新しい手法とは無縁である。
Prolog のプログラムは一階述語論理に基づいてデータ間の関係を示す命題として記述され、処理系がそれらに単一化(ユニフィケーション)と呼ばれるパターンマッチングを施しながら、与えられた命題が成立するか再帰的手続きによって探索している。プログラムの実行は述語集合が定義された環境の元で、質問することによってなされるが、これは反駁という述語論理的な証明過程を模して、処理系が用意する導出木と呼ばれるグラフをたどって解を得る過程である。Prolog のもととなるこの演繹手法は導出と呼ばれ、自動定理証明の研究において Prolog 開発以前からよく知られていた。Prolog は、導出において節を頭部が一つの命題からのみなるホーン節に限定したもので、この場合の導出をSLD導出（Selective Linear resolution for Definite clause）と呼ぶ。ホーン節に限定しているということは、つまり、Prolog は任意の述語をそのまま扱えるわけではない。Prolog が述語の形式をホーン節に限定した理由は、もし頭部に項の連言を認めるならば、導出時の計算量が爆発的に増大して、全ての解を得ることの保証が難しくなることが必至だからである。述語論理を論理的な背景に持つことによって、Prolog のプログラムはその正しさを確認することが比較的容易である。同時に、プログラマは Prolog でプログラミングすることが何を意味するかを明確に理解した上で、プログラムを書いていくことができる。
上記は Prolog の一つの解釈である。一方、Prolog というプログラム言語を述語論理という枠にはめないで捉える立場もある。導出、単一化、非決定性、双方向性、関係データベースといったこの言語に独特の機能とその表現力、記述力に着目し、そのプログラム言語としての可能性を率直に評価しようとするものだ。新たに Prolog を学びたいと思う人は、他のプログラム言語を全く知らなくても、ソフトウェア科学的な予備知識や概念に不通であっても、単一化という単純なルールをほとんど唯一の基軸として、パズル的な、あるいはゲーム的な感覚にだけ導かれて、プログラムを簡単に書き進むことができる。さらに、どの言語にも比して平坦で、平明な言語構造を持つ Prolog はラベル名（アトム、関数名、述語名）に適切な意味性を付与することにより、自然言語の領域にも接近したプログラミングが期待できるほとんど唯一の言語でもある。十分述語論理的な教養を持った上で Prolog を学び、そのプログラムを書くならば、短期間で高度で安定したプログラムを書くことができる。しかし、それを前提としないでも、Prolog は冒険的で、未知の領域に満ちたプログラム言語なのである。実はこれらの主張は、述語論理的な主張に隠れて、これまであまり強調されたことがなかった。このような立場や主張が生まれる背景には、Prolog が期待されたほどにはソフトウェア革新の担い手になり得ていない理由が、その後の数理論理学の学問的な評価をもって、プログラム言語としての可能性を十分検証することを放棄して、定理証明といった狭い目的へ封じ込めようとする風潮を生んだことにある、という反省がある。そのことを踏まえて、Prolog が述語論理から成立したことにこだわらず、実在するプログラム言語として自由な視点からこの言語を見直そうとするものである。
Prolog は一階の述語論理に対応することから論理型言語に分類される汎用言語であるが、その主張の一行一行を独立して論理式とほとんど等価な表現で行うことから、最も代表的な宣言型言語と見なされている。Prolog のプログラム単位である述語の各節の本体に現れる質問単位である副目標数は平均5個以内と極めて少ない。この副目標と各節の頭部に現れる引数の組み合わせによって得られる関係が述語の意味を構成している考えられる。これが宣言型とされるゆえんである。<頭部> :- <本体>.  % Prologの節は頭部と本体によって構成される。% 述語定義は複数の節からなる。本体は幾つかの副目標からなる。% 副目標の全てが真となった時に節の宣言は成立する（節は真となる）。述語名(引数_1,引数_2) :- <副目標_1>,<副目標_2>.述語名(引数_1,引数_2) :- <副目標_3>・・・Prologの自然な定義では、ここで示した <副目標_1> <副目標_2> が、一つの述語において、高々 <副目標_5> くらいまでに収まる。
単一化は1960年代の述語論理理論の発展の鍵となった概念であるが、Prolog が述語論理に導かれて機械による自動証明を実現するためのプログラム言語として成立したことから、必然的にこの言語の必須の最も重要な機構となった。単一化は副目標（質問）と対応する定義節の頭部のパターンが完全に一致するか、調べることで、節の選択を可能にする。基本的な言語仕様の章で詳述するが、Prolog の実行順序等の制御は単一化のからくりを利用してプログラミングされる。簡単なからくりでかつ極めて強力な単一化であるが実行コストも大きい、すなわち実行速度が遅くなる原因となる。さらに、パターンとして認識することと引き換えに、引数での関数評価は不可能になった。独立して節の本体で式評価を記述しなくてはならないため、数値計算ではやや冗長になる。これらの点は、単一化の強力さとのトレードオフの関係になっている。
Prolog はオブジェクト指向とは疎遠であるが、一方、述部を重視する系であるという点から見ても、モジュラープログラミングとは近い関係にある。Prolog の述語をモジュールとして捉えた場合、多くは再帰的で宣言的であり、情報強度は極めて強く、情報結合度は極めて弱い。引数にはリスト以外の構造体（複合項）が来ることはほとんどなく明解であり、記述単位は数行と極めて短くかつ記述は簡潔である。モジュラープログラミングを突き詰めたものが Prolog だといってもよいように見える。しかし、Prolog をモジュラープログラミングとして評価した場合、疑問符の付くであろう部分もないわけではない。それはPrologの引数の入力・出力の関係が多くの場合双方向であり、意味的にも多義性を持つという点である。モジュラープログラミングは「〜を〜する」というような単一機能にまとめることが推奨されたが、この原則に反する。さらにPrologは複数の解を示すことがありうる。この性質を非決定性（後述）というが、実はこのことは定義された述語全体がコルーチンでありうることを意味する。単一の入口点による制御を良しとするモジュラープログラミングの原則にここでも反する。
後に述べるが Prolog の述語はその構造が頭部と本体と分かれていて、本体はルールを意味するため、全体として、ルールを持ったデータベース、演繹データベースとして捉えることができる。これはPrologプログラム全体がデータベースであるということだから、データベースの表現としては最強のクラスに属する。一方、事実を表す本体のない（強制的に真）頭部のみの定義節による述語は関係データベースとその集合論的な性質で一致する。収集した情報を一つの述語に対して多数の頭部のみを持った節の集まりとして定義することにより、オンメモリ関係データベースを構築することが可能である。しかし、Prologをデータベース管理システムとして捉えた場合、assert、retract、setof、bagof、findall という組込述語を持つこと以外には、管理機構としての特別の組込述語が用意されている訳ではなく、ディクショナリ管理などのための述語定義をユーザが追加する必要がある。
関数型言語等、他のプログラミング言語と比較しての Prolog の特長は、上記、一階述語論理に基づくこと、単一化、データベース言語的性格の他に、非決定性と双方向性が挙げられる。非決定性は、解が唯一とは限らない場合、処理系側から見てひとつの解に決定できない場合、外部からの選択の余地を与える。そういうことが当然可能なこととして述語は定義されていく。インタプリタトップではなく、導出を繰り返すプログラム内部にあっては、処理系側とした所を述語と置き換えて考えると、非決定性の述語の解を決定するのは、前方または後方に連接する質問（副目標）である。前方の副目標群から引数経由で与えられる情報によって副目標は一つの解を作り出すが、この解が真であるとするのは最終的に後方に連接する副目標である。この後方に連接した副目標が全て真となった場合に限り副目標は真となる。後方に連接する副目標のどれかが真にならなかった場合は、それが存在すればであるが別解を用意しなくてはならない。ここでも非決定性の述語、ここでは副目標から見ての解の決定権は、外部にあるということになる。非決定性は導出の過程、取り分けバックトラックアルゴリズムと一体化しており、Prolog プログラムの制御の根幹のひとつである。ただ、非決定性述語実行時に見られる論理変数の 束縛→解放→再束縛という遷移、すなわち一度束縛されたものが別のものに再度束縛されるということを好ましくないとする見方もある。双方向性は、述語が実行された場合の返り値は真または偽だけであり、その代わりとして引数内の変数で値の授受を終始するのだが、このとき、入力として使われた変数が出力に、出力として使われていた変数が入力として使うことのできる述語となることがある。この性質を双方向性という。多くの場合、双方向性を持つ述語はそれ自体多義性を持つ。例えば append という3引数の述語は第一引数と第二引数に具体的なリストが来て呼ばれた時は、リストを結合する意味でよいが、第三引数がリストで第一引数と第二引数が変数の状態で呼ばれた場合その意味は、リストを分解する、がふさわしい。既に存在するリストを、それが結合されて存在したものと考え、それではどのように結合されていったか、あるいは、どのような組み合わせで結合されていったのかを、示していると解釈できる。このような、双方向性は Prolog の述語自らがリバースエンジニアリング的開示能力を持ち、それを示していると捉えることができる。この性質は、Prologを含む論理型プログラム言語の持つ際立った特徴であり、プログラム作成時はもちろん、テスト、デバッグなどの検証の各段階でプログラムコードに対する見通しを向上させる。
プログラマは引数の単一化、再帰/失敗駆動等のプログラムパターンの選択、非決定性、双方向性といった特長をできる限り生かすことなどに配慮しながら、述語の骨格を決めプログラミングを進める。しかし、これらの特長、性質は複合した場合には相当に複雑であり、制御上相反する部分も多々ある。Prolog では、述語論理を逸脱して計算量/資源量/制御の調整に当たる述語「!」（カット）を導入してこの問題に対処しているが、Prolog プログラミングの難しさはこの調整部分に集中している。
Prolog の性格上、その歴史には定理の自動証明の研究が大きく関係している。1930年にジャック・エルブランは自動定理証明やPrologのベースとなる数理論理学上の基本定理であるエルブランの定理を発表した。エルブランの論文には Prolog で必須の単一化アルゴリズムもすでに含まれていた。1950年代以降、計算機上での定理証明の研究が活発になり、ギルモアのアルゴリズム(1960)やデービス・パトナムのアルゴリズム(1958,1960) 、プラウィツによる定理証明への単一化アルゴリズムの導入(1960)などを経て、1965年のロビンソンによる導出原理 や1960年代後半のラブランドによるモデル消去の証明手続きの成果からひとつの結実期を迎えた。その数年後の1971年マルセイユ大学のアラン・カルメラウアーとフィリップ・ルーセルのグループは自動定理証明システムとフランス語の自然言語解析システムとを組み合わせたコンピュータとの自然言語対話システムを作成していた。この際に自然言語解析システムも自動定理証明システムと共通の論理式という枠組みで構築できることに気が付き、論理式をそのままプログラムとして実行できる最初の Prolog を1972年に完成させた。これは数千年に及ぶ人類の叡智である論理学の成果をプログラム言語に置き換えたものと言えるが、現在の Prolog でプログラムの制御に使われるカットオペレータに相当する機能が最初から導入されるなど、現在の Prolog と同様、単なる定理証明システムではなくプログラミング言語として設計されたものだった。以下にその当時の Prolog プログラムの一部を示す。論理変数名の最初の文字が "*" で始まるなど、現在の Prolog とはシンタックスが異なる。READ  RULES  +DESC(*X,*Y) -CHILD(*X,*Y);;  +DESC(*X,*Z) -CHILD(*X,*Y) -DESC(*Y,*Z);;  +BROTHERSISTER(*X,*Y) -CHILD(*Z,*X) -CHILD(*Z,*Y) -DIF (*X,*Y);;  AMEN
彼らグループに理論的な助言を与えていたエジンバラ大学のロバート・コワルスキとデービッド・H・D・ウォレンは汎用機 DECsystem10 上にマルセイユ大学とはシンタックスが異なる処理系を作り上げた。これは後に DEC-10 Prolog と呼ばれることになるが、ISO 標準規格を含む今日動作する Prolog 処理系はほとんどがこの系統のシンタックスに従っている。desc(X,Y) :- child(X,Y).desc(X,Z) :- child(X,Y),desc(Y,Z).brothersister(X,Y) :- child(Z,X),child(Z,Y),dif(X,Y).コワルスキはその後、インペリアル・カレッジ・ロンドンに移り、1979年に集大成ともいえる「Logic for Problem Solving」を著し、その後のこの言語と論理プログラミングの研究に決定的な影響を与えた。コワルスキの活動と DEC-10 Prolog の存在によって、英国は Prolog 研究の中心地となった。エジンバラ大学のW・F・クロックシンとC・S・メリシュの著わした「Programming in Prolog」は長く Prolog のバイブル本として利用された。エジンバラ大学からSRIインターナショナルに転じたディビッド・ウォレンは1983年 Prolog の仮想マシンコードであるWarren's Abstract Machine（WAM）を発表した。この後の Prolog 処理系の実装は、一旦C言語などでこの仮想マシンコードを実装して、その上で Prolog のソースコードをこのマシンコードに変換するコンパイラを用意するという手順を踏むことによって、開発を簡素化し実装上の標準化を図ることが普通になった。日本の新世代コンピュータ技術開発機構の Prolog マシン PSI は1987〜1988年頃に開発された PSI2 からこれを採用したし、その後開発された Prolog 処理系の多くはこの方式に従った。1976年にSRIに留学していた古川康一はカルメラウアーらの Prolog 処理系のリストを見つけ帰国時に電子技術総合研究所に持ち帰った。当時電子技術総合研究所で推論機構研究室長をしていた淵一博はこのリストを解析して Prolog 処理系を走らせ、ルービックキューブを解くプログラムを作成するなど論理プログラミングに対する理解を深めていった。1978年MITに留学中の中島秀之が「情報処理」誌に紹介記事を寄稿して、Prolog は日本でも広く知られるようになった。
1970年代終り頃、日本では通産省の電子技術総合研究所の淵一博を中心とするグループが論理プログラミングの重要性を認識して、日本のコンピュータ技術の基礎技術としてこれを取り上げることを提案する。これが最終的に1980年代の新世代コンピュータ技術開発機構の発足と活動につながった。総額約570億円の国家予算を約束されて1982年に新世代コンピュータ技術開発機構（ICOT）は活動を開始する。Prolog を含む論理型言語はこの研究の核言語と位置づけられ世界的な注目を浴びることとなる。約10年間の研究活動中に Prolog と論理プログラミングの研究は急激に深化した。実際1980年からの20年間に Prolog をメインテーマにした日本語の書籍は約50冊発刊された。ICOT の研究員は積極的に Prolog の啓蒙に努め、講習会、チュートリアル、ワークショップを年に一度ならず開催した。ICOT が主催したロジック・プログラミング・コンファレンスは1983〜1985年頃をピークに若い研究者達を刺激した。研究活動前半の期間では論理型言語の実用性を証明するために、Prologマシンが設計され、三菱電機と沖電気によって製作され、ICOT の他大学等研究機関に配布された。この個人用逐次推論マシン PSI の機械語 KL0 は単一化やバックトラックなど Prolog の基本的特徴を完全に備えていた。この KL0 によって、PSI のマイクロコードを制御した。KL0 を基礎として、オペレーティングシステム SIMPOS が設計され、これを記述するために、Prolog にオブジェクト指向プログラミングを取り入れた ESPが近山隆により設計されて使われた。ESPは多重継承を特徴とする当時としては先鋭のオブジェクト指向言語であったが、後にカプセル化の不備などが指摘されて、今日あまり話題となることはない。しかし、OSを記述するという課題を通じて、論理型言語にオブジェクト指向言語的要素を加えることによって、可読性が高まりプログラム管理がしやすくなることが確認された。その反面、Prolog のみでオペレーティングシステムを完全に記述してみる絶好の機会を逸したことも確かである。ESPはPSIを前提にせずに利用できるように、C言語で書き直したCESPが開発されたが、これが普及への起爆剤になることはなかった。後に述べるように、PrologのISO標準規格のモジュール仕様としてESPの採用が否決された1995-6年頃以降はほとんど利用されることはなくなった。ここまで述べたように、Prologは ICOT によって持ち上げられた言語 Prolog との印象が強いが、Prolog というプログラミング言語から見ての ICOT の影響は実は限定的だった。淵所長ら ICOT の主研究テーマは並列論理型言語にあり、研究後半では Prolog そのものからは離れて行くことになる。PSI に使用した電子基盤を利用して並列推論マシン PIM が製作されて、Guarded Horn Clauses（GHC）に基づく並列演算処理を追加した KL1 が設計された。この環境に依存する形で、並列論理プログラム言語のKL1は知識プログラミング全般の研究に利用された。PSI と SIMPOS を使った研究も続けられはしたが、割り当てられた研究員の数は極めて少なかった。ICOT の活動を総括して、知識プログラミング各課題において準備不足からくる未消化を指摘する向きが強いのだが、こと Prolog から見ての前半期の活動は、今日語られることも少ないが、極めて充実したものであったといえる。ICOT の活動盛期の1984年京都大学の学生3名が研究課題として製作した Prolog-KABA がその性能の高さとアセンブラで記述されたことからくる高速性で世界を驚かせた。この処理系は MS-DOS 上で製品化されて Prolog の普及に大きく貢献した。Successful pop や末尾再帰の最適化など高い安定した性能で黎明期のパソコン上のビジネスソフトの基礎言語としての展開も期待されたが、16ビットの整数しか持たず、浮動小数点数も扱えない仕様であったため、この分野への展開は起こらなかった。この点はアセンブラで記述されて簡単には拡張できない点が裏目に出た。結果としてこの仕様の乏しさが、日本のビジネスソフトが知識プログラミングの水準との間に横たわる分水嶺を越えることができなかった原因の一つとなった。
1990年代に入ると制約論理プログラミングが注目され処理系が多数誕生した。これは Prolog から見ると引数の論理変数間の関係（制約）を記述可能に拡張したものである。制約論理型言語は、変数評価に遅延実行などを持ち込むことが必要となるが、連立方程式をはじめとする多くの課題で Prolog より記述が柔軟になる。Prolog の組込述語には引数が変数で渡るとエラーとなるものが多く、このため Prolog プログラマは変数が具体化されるように副目標の記述順序に気を配る必要がある。結果としてプログラミングに逐次性が生じる。制約論理プログラミングにおいては、後に変数が具体化されたときに検査されるための変数の間の制約を記述するだけで、この逐次性の拘束を解決して通過することができる。実はこの制約はPrologから見ても自然な拡張であり、むしろ Prolog の単一化が制約論理プログラミングの制約を「=」のみに限定したものだと解釈することができる。しかし、簡素で逐次的な性格を強く持つ Prolog の処理系に慣れた利用者が、制約論理プログラミングの述語中に更に変数制約の宣言を追加しなくてはならない負担を、受け入れているとは言い難い。制約論理プログラム処理系が Prolog のそれに置き換わる気配は、2013年11月現在においてもない。ISO の標準化作業は1987年頃から作業委員会(WG17)が作られ、日本委員も情報処理学会から15名ほどがこれに加わった。1995年 ISO標準規格がISO/IEC 13211-1 Prolog-Part 1: General Coreとして制定された。さらに、2000年にはISO/IEC 13211-2 Prolog-Part 2: Moduleとしてモジュール仕様が追加して規格化された。モジュール仕様については日本委員から、ICOTによって作成されたESP(Extended Self-contained Prolog)を以てその標準とする案が出されていたが、これは否決された。ISO標準規格はエジンバラ仕様 DEC-10Prolog を基調に既に一家をなしていた Quintus Prolog など有力ベンダと主としてヨーロッパの学者を主体にこれに日本などの委員が参加して作成された。この規格は現在 Prolog 処理系の製作者に指針を与え、大きな逸脱を心理的に妨げる役割を果たしているが、組込述語の個々の仕様ではベンダの意向が強く反映されたものの、全体としては最初に述べた論理学的立場を尊重して保守的で極めて小さな仕様となっている。そのため多くの Prolog 処理系はこの規格の述語を搭載しつつ、独自の拡張部分を修正したり削除することに消極的である。結果として個々の処理系の互換性の乏しさは残り、それは Prolog の弱点として認識されている。JIS規格も一旦は2001年にJIS X 3013:2001が、"標題 プログラム言語Prolog―第1部：基本部"が要約JISとして発行されたが、2012年1月に何ら実効を見ること無く、「周知としての目的は終了した」として廃止された。
日本において、ICOT の活動時期から1990年代前半に掛けては、いわゆる人工知能ブームの時期であり、人工知能研究への期待はこの時期再び異様に高まった。LISP マシンによる医療情報エキスパートシステムでの成果は、人工知能の研究の成果の一部は情報処理に於いても利用可能なのではないかとの夢を抱かせた。このような評価の中で Prolog は人工知能のアセンブリ言語的な位置づけを期待された。知識情報処理はこの水準の言語を基礎にその上側に築かれるべきだとの意味である。手っ取り早く利用可能な人工知能技術としてエキスパートシステムが選別され、これを支えるナレッジエンジニアの存在とそれを養成するための教育が必要とされた。Prolog はその中心に存在した。日本も例外ではないが、日本以外の国では特に、Prolog の名著は1990年代前半に刊行されている。これは、ICOT の活動とは若干のタイムラグがあるが、この時期社会的に 人工知能向き言語としての Prolog に大きな期待が寄せられていたことの証しである。エキスパートシステムはビジネス分野において広範囲に応用可能な基礎技術であったが、このような低水準な分野への適用はあまり試みられず、この分野からの Prolog 言語への要請はほとんど見られないまま終った。機械翻訳などの自然言語処理もまた人工知能の一翼を担う分野であるが、歴史的経緯から人工知能ブーム以前から、この言語に最も期待が掛けられた分野であった。しかし、左再帰問題の回避でトップダウン解析の明解さをいきなり殺がれた。さらに句構造文法への適用においては、Prolog が得意とする、句構造に分解して意味に相当するグラフを形成することの他に、極めて膨大な辞書を構造体として定義する必要が展望された。この辞書作成は Prolog とは直接関係しないタスクであることから、次第に Prolog は句構造文法によるアプローチの前線から後退してしまった。統計的言語処理のアプローチでは、単一化等に多くの計算量を費やす Prolog は大量データを扱うのに不向きとされて、利用されることはほとんどない。自然言語処理のテキストの多くが Prolog を用いて解説されているにも関わらず、期待が大きかった割に実務的には、表面に現れている成果はIBM社のワトソン程度にとどまり、自然言語処理はむしろ Prolog 評価の足を引っ張る傾向にさえある。
日本においては、ICOT 解散後数年を経て、論理プログラミングと Prolog は急激に下火となる。先にあげたコワルスキの成果があまりにも完成されたものでその研究成果の範囲を越えることが難しかったこと、歴史的にプログラム言語でありながら論理学からの逸脱を厳しく制限され、自由なアイデアによるプログラミング言語としての発展・展開が困難に見えたことも研究者・技術者を離れさせた。そして、人工知能ブームもまた去って行った。企業等で続けられた研究開発も発表される機会がProlog産業応用シンポジウム（INAP）などに限定され、人々の目に Prolog の成果が触れることは極端に少なくなった。ICOT の多大な研究成果がネット上に閲覧可能な状態で置かれたが、Prolog 言語の処理系はインターネット時代の技術・流れに乗れず、初心者・初学者が利用するためのネット上での情報も他の有力言語に比べて少なく、新しい利用者を惹きつけることができなかった。パソコンのオペレーティングシステムとして Microsoft Windows が一般に普及し始めると、初心者教育にウィンドウの部品の展開を題材とするのに適したオブジェクト指向言語に人気が集中し、Prolog は動作の遅い外れた言語のイメージを持たれるようになる。さらに21世紀に入ると Prolog がクラス概念を持たないため、マイクロソフト社による .NET アーキテクチュアの共通言語基盤（CLR）の対象言語から外され、この傾向に拍車をかけた。ついには枯れた言語というニュアンスを含んでではあるが、「化石言語」と揶揄されるまでに至ったのである。
プログラムは、ホーン節、もしくは単に節と呼ばれる形式の項を並べたものである。節は、頭部と本体部からなり、頭部.または頭部 :- 本体部.の二形式があり得る。これはそれぞれ、頭部.　　　　　　の形式が「AはBである」、頭部 :- 本体部.　　の形式が「AならばBである」という命題の形式に対応する。節も項であって、項は関数子といくつかの引数からなる。節の関数子は ':-' であり、頭部と本体部はその引数である。関数子が':-'の二引数の項が節である。頭部.の形式は実は、頭部 :- true.が省略されたものと見なされ、やはり ':-' を関数子として二引数の項である。頭部は項が連接することはできない(ホーン節)が、本体部は項が連接する、そういう項であり得る。頭部 :- 副目標₁,副目標₂, ... 副目標ₙ.副目標₁,副目標₂, ... 副目標ₙ　は、これ全体を目標という。目標は副目標₁...副目標ₙの連言である。ここで目標 = ( 副目標₁,副目標₂, ... 副目標ₙ )と置けば、頭部 :- 目標.であり、やはりこの節の形式も、関数子 ':-' の二引数の項であることが分かる。複数の副目標はカンマで区切られているが、このカンマは論理積を意味する。節は、その頭部の形式、すなわち関数子とその引数の数が同一の形式を持つ述語と呼ばれる単位で管理される。プログラムは項の集合であり、節の集合であると同時に、述語の集合でもある。Prologはこの項、節、述語だけでその形式を表現できる点で、他のプログラム言語とは著しく異なる。これはPrologの理論的な背景が論理学にあり、この中の概念のみで構成されて、発展してきたからである。このような節の集合をあらかじめ用意してそれを定義した上で、ある命題が真であるかどうか問うことを質問という。節の集合、つまり述語の集合をあらかじめ用意する方法については、後出の"Prologプログラミング"で述べる。Prologの処理系は、人間の入力した質問に対して、頭部が形式的に一致する節があるか調べ、あった場合はその本体部に記述されている命題と一致する節があるか再帰的に調べる。ここでは定義されたもの(処理系があらかじめ用意した組込述語も含めて)だけが、真になり、定義されていないものは必ず偽となる(閉世界仮説)。具体的な例を見よう。「ソクラテスは人間である」「人間は死ぬ」を Prolog で記述すると以下のようになる。ここで X は変数である。人間(ソクラテス).死ぬ(X) :- 人間(X).人間(ソクラテス).  は「AはBである」の命題の形式に対応し、ここでは、Aはソクラテス、Bは人間である。同様に、死ぬ(X) :- 人間(X).  は「AならばBである」であり、Aは人間(X)に、Bは死ぬ(X)に対応している。システムに対して以下のように入力すると、true が返される。?- 死ぬ(ソクラテス).これは「ソクラテスは死ぬか」と質問したことに対して、システムが内部で推論を行なって、既知の知識から答えを出したものである。それではここでの既知の知識とはなんであろうか。それは、人間(ソクラテス).死ぬ(X) :- 人間(X).であり、内部で行っている推論とは、?- 死ぬ(ソクラテス). から 死ぬ(X) :- 人間(X). により導出されて、?- 人間(ソクラテス).trueが、確認される過程である。今度は以下のように入力してみる。これは、「死ぬのは誰か」と質問したことと同じになる。この場合もシステムが内部で推論を行なって、死ぬ（X）を満たすXを表示する。?- 死ぬ(X).X = ソクラテス他のプログラム言語に比べると質問を基本的骨格としている点でユニークであるが、更に、Prolog は複数の計算結果があり得るという点でも極めてユニークなプログラム言語である。先のプログラム例を拡張して人間(ソクラテス).人間(アリストテレス).死ぬ(X) :- 人間(X).とした場合、死ぬ（X）を満たすXは複数（ソクラテスとアリストテレス）がありうる。述語 人間　に複数の節を設けて、その引数にソクラテス、アリストテレスと列記して行くだけで、質問に対して複数の解を処理系が列挙するようになる。他の言語でこういう機能を実現する時に見られるような、手続き的なループや情報を管理する配列の添字管理のようなものは全く現れない。多くのProlog 処理系ではこのような複数解が存在する時に新たな解を得る場合は?- 死ぬ(X).X = ソクラテス ;X = アリストテレスと ";"（セミコロン）記号を用いて他の解を得る。";"はこの解は真ではない、という質問者の意思表示である。ここではインタプリタのトップからの質問、すなわち対話環境にあるから、X = アリストテレスが処理系からの質問者に対する応答、質問となっている。質問者は「この解は真ではない」と否定することができる一方、呈示された解(ソクラテスまたはアリストテレス)を真と決定することもできる。このように処理系から見て外部からの介入によって真を得ることを非決定性という。この非決定性がコンピュータ言語としてのProlog の際立った特徴の一つである。もうすこし具体的なPrologプログラムの例を以下に示す。「%」から行末までは注釈である。% member(X,Y)はXがリストYの要素として含まれているときに成功する。% そうでないときは失敗する。member(X, [X|_]). % Xがリストの先頭要素と同じ場合member(X, [_|Y]) :- member(X, Y). % それ以外の場合member(X,Y) は要素XがリストYのメンバーであるかを調べるプログラムであると同時に、「要素XがリストYのメンバーである」という関係も宣言的に表している。実行例を以下に示す。要素XがリストYのメンバーであれば成功する。?- member(サザエ, [波平,サザエ,マスオ]).true.要素XがリストYのメンバーでなければ失敗する。?- member(サザエ, [ワカメ,マスオ,タラオ]).false.Xの部分を変数のままにすると、リストYのメンバーである要素が結果として返る。すなわち、ジェネレータとして働く。?- member(X, [ワカメ,マスオ,タラオ]).X = ワカメ ;X = マスオ ;X = タラオ二つのリストの共通メンバーを求めるには単純に","で区切って並べればよい。この","はANDの意味を持つ。?- member(X, [波平,サザエ,マスオ]), member(X, [ワカメ,マスオ,タラオ]).X = マスオ要素Xを指定しリストYを変数のままにすると、それらがメンバーであるリストが結果として返る。?- member(波平, Y), member(サザエ, Y), member(マスオ, Y).Y = [波平,サザエ,マスオ|_G001]上の"_G001"はProlog処理系が作成した仮の変数で、リストの後半が不定であることを示す。