『優填王経』などによると、以下の通り。拘深（こうしん、コーサンビー）国の摩因提（まいんだい、マーガンディヤ）という人に、無比（アヌパマー）という容姿端麗な娘がいた。諸国の王が無比を求めたが摩因提はこれを許さず、釈迦仏に奉るつもりでいた。しかし釈迦仏がこれを認めなかったので、国王の優陀延の後宮に入れた。このことで王は摩因提を大臣に命じ、無比を寵愛し宮殿を建設した。しかしのちに無比は王に誣告し正室皇后を弓矢で殺そうと画策した。正后は仏を一念していたのでその矢が居抜かず、反対に王の前に飛んできた。これを見た王は釈尊のもとに参じて懺悔し帰依した。また王が寝ている間にピンドーラ尊者が説法したことを知るや、黒蟻の巣を尊者に這わせて苦しめるなどしたが、尊者は忍辱により動じなかったので、仏道に引き入れられたともいう。『四分律』では、以下の通り。釈迦仏がコーサンビーに在したある時、王はピンドーラ尊者を尊重し、常に住して求法問訊した。ある時、尊者が起立して王を迎えなかったことを、不信楽のバラモンの大臣が見て悪心をもって王に告げると、王は「明日、まさに往くべし。もし起立せずば賓頭盧の命を奪うべし」といった。翌朝、賓頭盧尊者がはるかに王が来るのを見て便ち遠く迎え、先呼し、「善来大王」といった。王は「昨日はなぜ立って迎えなかった」と問うと、尊者は「汝の為なり」と答えた。王は「「何が我が為か」と問うと、「昨日は善心をもって来られたが、今日は悪心をもって来られた、もし我が立たなければ、まさに我が命を奪うだろう。もし我が命を奪えば地獄に堕す。もし立って迎えれば、汝は王位を失うであろうが、もしろ王位を喪失しても地獄には堕させん、と考えたので起立して迎えた」と答えた。王は「いつ王位を失うのか」と問うと、「却って7日の後に必ず王位喪失す」と答えた。王は驚いて帰り、城を修治し集兵し警備した。しかし7日を過ぎても敵が現れず、尊者の言を否定し多くの采女（うねめ）と船に乗り遊戯したが、慰禅王国の波羅珠提王に捕えられ、7年間も禁固されたといわれる。『増一阿含経』巻28には、釈尊が母の摩耶夫人に説法するため三十三天に昇った時、王が仏を拝することができず悲しんで病気になり、その勅命で牛頭栴檀をもって五尺の釈迦仏の尊像を刻ましめたところ、病気が平癒したとある。このことから、これが仏教における最初の仏像造立ともいわれる。日蓮は、これらの故事などを理由にウダヤナを悪王と判断しているとされる。なお、京都の嵯峨清涼寺の釈迦仏像は、このウダヤナ王の勅命による第二の像を模刻したものといわれる。
Guarded Horn Clauses (GHC) は、上田により1984年末に設計され1985年に発表された。Concurrent Prologの検討のため処理系の作成を行っている際、Concurrent Prologの多重環境の問題に気付き、それを解決する言語として設計した。GHCもConcurrent Prolog同様、並行実行以外の機能を含まない単純化された仕様を持つ。 マージプロセスのプログラム例を以下に示す。merge([A|Xs],Ys,Zs0) :- true | Zs0=[A|Zs], merge(Xs,Ys,Zs).merge(Xs,[A|Ys],Zs0) :- true | Zs0=[A|Zs], merge(Xs,Ys,Zs).merge([],Ys,Zs) :- true | Zs=Ys.merge(Xs,[],Zs) :- true | Zs=Xs.GHCでは、中断のメカニズムとして入力ガード (Input Guard)を用いる。GHCはモード宣言や読み出し専用標記などの特別な表記法を用いない。ヘッド及びガード部での同一化の際、ゴール中の変数を具体化するような試みは中断させられる。ガードでは、ゴール中の変数は入力モードでしかアクセスできない。GHCのガードは制約の追加を行うTell部がなく制約の観測を行うAsk部のみのため、多重環境の問題はない。出力となる変数の具体化はボディ部のユニフィケーションで行う。モード宣言がないため、不完全メッセージなどの技法は問題なく使用できる。KL1 (Kernel Language 1) は、GHCのフラット版であるFlat GHCをもとに近山により設計され、第五世代コンピュータプロジェクトでハードウェアと応用ソフトウェアとの間をつなぐ核言語として、並列マシンのオペレーティングシステムやKL1を含む様々な言語処理系、各種応用プログラムの作成に利用された。KL1では、論理的並行性の記述にはGHCの機能をそのまま使い、それを複数のマシンに分散する物理的並行性(並列性)をそれに付加するプラグマとして追加することで、論理的並行性と物理的並行性を別々に指定可能にし、プログラムの正しさに影響を与えることなく負荷分散の仕方などを変えられるように設計された。また複数のプロセスの実行制御、資源管理、例外処理を行うため「荘園」と呼ばれる機能が追加された。荘園は外部からの制御ストリームによって起動/停止/再起動/実行放棄や使用可能な計算機資源の制御を行う機能で、荘園自身をネストすることもできる。この機能は、オペレーティングシステムなどのシステムプログラミングのために使われ、またオペレーティングシステム自身のデバッグのための仮想マシン環境としても使用された。 言語の特徴を以下にまとめる。* 同期の表現方法　　　入力ガード　(節単位で指定)* 制約の入出力　　　　Blocking AskとEventual Tell* プロセス間通信　　　任意の項を使用可能* 実行形態　　　　　　並行実行* その他の特徴　　　　ガードの安全性を実行時にチェック、言語仕様が単純、多重環境の管理が不要、比較的使用実績多い