幼少の頃から競馬場に連れられていったことで競馬の世界に興味を持ち、水沢市立水沢中学校（現・奥州市立水沢中学校）2年生のころより厩舎で住み込みで仕事をするようになる。中学卒業後、地方競馬教養センターを経て、岩手競馬は水沢競馬場・千葉忠一厩舎所属の騎手としてデビュー、1986年4月19日水沢競馬場で初騎乗（サトグロアップ）、10月12日初勝利（ラインアップ）。1993年ビクトリーカップでホクテンオーとのコンビで重賞初制覇。1996年桐花賞でプレザントに騎乗して逃げ切り勝ち、その後川崎記念に挑戦したが落馬に終わる。1997年9月札幌競馬場で行われた（旧齢）3歳500万下でスーパーグランザムに騎乗してJRA初騎乗初勝利、その後、この馬とのコンビで東京競馬場のアイビーステークスにも挑戦（6着）。デビュー7年目（1992年）からコンスタントにリーディングの10位以内にいたが、1998年は乗り鞍が減りリーディング13位に終わる。1999年の途中から騎乗しなくなり、2000年1月に上山競馬場の太田勝雄厩舎に正式に移籍。移籍初年度から56勝を挙げリーディング7位に。2003年上山競馬の廃止により、ホッカイドウ競馬の堂山芳則厩舎に移籍、毎年20勝前後を挙げていた。2012年5月1日一身上の都合により引退。
城田と白石は高校時代の同級生（3年間同じクラス）で、出席番号も近かったことから仲良くなっていた。その後、モデルやデザイナーとして活動していた城田と、ギターロックバンドなどで独自に音楽活動をしていた白石が4年ぶりに再会。城田が白石を口説き落として、2006年11月にユニット結成。ユニット名はスペイン語で「魂」の意味。2009年2月11日、Jin Nakamuraをプロデューサーに迎え、シングル「鼓動」でメジャーデビュー。2010年11月5日、同日をもって解散を発表。今後は個々で音楽活動を継続していく予定。
一部の研究者は高階述語論理に基づいた高階論理プログラミングへと拡張を行った（述語の変項化など）。そのような言語としては Prolog の拡張である HiLog や λPrologがある。
Keith Clark、Hervé Gallaire、Steve Gregory、Vijay Saraswat、Udi Shapiro、Kazunori Ueda（上田和紀）らは、共有変数のユニフィケーション機能とメッセージのためのデータ構造ストリーム機能を備えた並行論理プログラミング言語を開発した。数理論理学に基づく並行プログラミングの基礎を築くための研究であるが、これが第五世代コンピュータの基盤ともなった。並行論理プログラミングは制約論理プログラミングと結び付き、制約で並行実行を制御する並行制約プログラミングとして統合され、 Saraswatらにより理論化が行われた。KahnとSaraswatは並行制約プログラミングの枠内での制約の設定でアクターモデルが実現できることから、アクターモデルは並行制約プログラミングの特別なケースだと主張した。
ジョン・マッカーシーは数理論理学をコンピュータシステムの認識論の基礎として利用することを提案した。MITではマービン・ミンスキーとシーモア・パパートが主導して、マッカーシーとは異なる手続き的手法が開発された。Planner が開発されたとき、これら2つの手法の関係に関する疑問が生まれた。Robert Kowalski は「計算は推論に包含される」という命題を生み出した。彼はこれを 1988年の Pat Hayes の論文にあった言葉「計算は制御された推論である」が元になっているとしている。Kowalski や Hayes とは逆に、カール・ヒューイットは「論理的推論はオープンシステムの並行計算を実行することが不可能だ」という命題を生み出した。論理的手法と手続き的手法の関係という問題の答えは、手続き的手法の数学的意味（表示的意味論）と論理の数学的意味（モデル理論）は異なる、ということである。
最初に実装された Prolog処理系は1972年に開発された Marseille Prolog である。Prolog が実用的なプログラミング言語として使われるきっかけとなったのは 1977年にエジンバラで David Warren がコンパイラ処理系を開発したことであった。Edinburgh Prolog は他の記号処理言語（Lispなど）と処理速度を比較して遜色ない性能であることを世に示した。Edinburgh Prolog はデファクトスタンダードとなり、後の ISO での Prolog 標準化に影響を与えた。
ブルゴーニュ公フィリップ・ル・アルディの末息子であるヌヴェール伯およびルテル伯フィリップと、その2番目の妻でウー伯フィリップの娘であるボンヌ・ダルトワの間の次男として生まれた。誕生後間もなくアジャンクールの戦いで父が戦死した。父の所領は兄シャルルが全て相続したため、ジャンは母方の曽祖父にあたるベリー公ジャンからエタンプ伯領を遺贈されることになった。しかし1416年にベリー公が死ぬと、フランス王家はジャンによるエタンプの相続を認めず、1421年に伯領をブルターニュ公ジャン4世の息子リシャールに与えた。しかしジャンはエタンプ伯の称号を名乗り続けた。ジャンは従兄で継父でもあるブルゴーニュ公フィリップ・ル・ボンに軍人として仕え、ピカルディー（1434年）、カレー（1436年）、ルクセンブルク（1443年）、フランドル（1453年）などで戦った。しかしその息子シャルル・ル・テメレールとは仲が悪く、彼を見捨ててルイ11世王の下に走った。このため、1456年に金羊毛騎士団の騎士に叙任されていたが、1468年に騎士団から除名されている。1464年に嫡子のない兄シャルルからヌヴェールおよびルテル伯領を相続した。1465年、ル・テメレールを指導者とする公益同盟と戦うルイ11世王を支援した。1472年、母方の伯父シャルル・ダルトワからウー伯領を相続した。1477年、ル・テメレールにウー伯領を売却しようとしたが、ル・テメレールが戦死したため実現しなかった。息子が夭折したため、ヌヴェールとウーの2つの伯領は長女のクレーフェ公爵夫人エリザベートの次男アンジェルベールが相続人となった。ルテル伯領は次女シャルロットが継いだ。