1982年4月26日、広東省広州市の広州白雲国際空港（旧）を出発し桂林市に向かっていた中国民航3303便はホーカー・シドレー トライデント2E型旅客機（機体記号：B-266）で運行していた。現地時間の午後4時10分に出発したが、桂林への着陸アプローチ中であった離陸から34分後に突如消息を絶った。3303便は午後4時45分ごろに桂林奇峰嶺空港から45Km離れた恭城県の山岳部に墜落した。この事故で3303便に搭乗していた乗員8人と乗客104人の112人全員が犠牲になった。犠牲になった乗客の国籍は香港籍52人、中華人民共和国籍45人、在外華人5人、アメリカ人2人であった。事故原因は、着陸アプローチ中に悪天候の為に自機の位置を誤認したパイロットエラーとされている。
開湯伝説は諸説ある。開湯年代を養老年間（西暦717-723年）とするもの、延暦年間（782年-806年）とするもの（『日本鉱泉誌』）、貞観12年（870年）とするもの、元弘年間（1331-1333年）とするものがある。鶴が入浴しているところを行基が発見し、弘法大師が荒れ果てていた温泉地を整備したと伝えられる。発見者を弘法大師とする説もある。元弘年間の開湯説では、関金城主の山名小太郎が開湯したことになっている。また、昭和初期の文献では、行基（668-749年）が発見し、一度廃れたが弘法大師（774-835年）が再興し、山名小太郎（14??-1489?年）が浴槽を設置した、となっている。関金温泉には、湯の美しさから「銀の湯」「しろがねの湯」との古名があり、伯耆民談記にも「銀湯」として登場する。江戸時代には、鳥取県中部と山陽地方を結ぶ備中街道（美作街道）上にあり、関金宿が置かれていた。放射線が測定されるより以前の時代には「淡黄色の無臭の炭酸泉」とされている。鳥取県が入湯税を基に算出した温泉利用者数をみると、ピークは2003年（平成15年）頃で約34,000人が利用している。その後低迷し2012年には約13,000人となったが、これを底に再び増加傾向となり2017年には約23,000人となっている。1997年（平成9年）以前は利用者の算出方法が異なり、各自治体の申告数に基づく推計値だが、これに遵うとバブル景気の頃には年間40万人前後の利用客があった計算になる。
大山の東麓、国道313号から奥に入った場所に温泉街が広がる。旅館は5軒存在する。共同浴場は1軒、「関の湯」が存在する。また日帰り入浴施設として「せきがね湯命館」も存在する。旧来の温泉街区と1963年（昭和38年）に開削された町営の源泉を引く新温泉区があるが、1969年（昭和45年）3月24日に国民保養温泉地に指定されると、町では条例を定めて源泉を集中管理するようになった。
放射能泉で、三朝温泉に次いで日本国内第2位のラドン放射能を有する。無色無臭の美湯。関金温泉と三朝温泉の湯が放射能を帯びている理由は長年不明だったが、1955年（昭和30年）に近くで水成ウラン鉱が発見され、これに由来することが判明した。源泉温度は40 - 62℃である。
2001年「ニコラ」（新潮社）のレプロ(旧レヴィ)モデルオーディションに合格。2002年『Parky Party』（テレビ東京）でテレビデビューを果たす。2003年から2005年までファッション雑誌「CANDy」（白泉社）の専属モデルとして活躍。2005年から『ウチスタ collection』（フジテレビ）にレギュラー出演していた。2006年、映画『着信アリfinal』で本格的な女優デビューを果たす。翌2007年『BOYSエステ』（テレビ東京）でドラマデビューを果たした。2007年からグラビアモデル進出を果たし、2008年には週刊ヤングジャンプ（集英社）の「セイコレ☆ジャパン」Girls編で準グランプリを受賞した。2010年7月8日を最後にオフィシャルブログの更新がなく、既に事務所のHPにも所属タレントとして掲載されていない。
論理プログラムが節 H :- B₁, ..., Bₙ から構成され、H, B₁, ..., Bₙ が全てアトミックな述語論理式であれば、このプログラムは確定(definite)していると呼ばれ、ホーン節プログラムであるともいう。確定した論理プログラムの手続き的意味と宣言的意味は、そのまま述語論理的に解釈できる。否定を含めると、古典的論理との関係はそれほど直接的ではなくなる。「失敗による否定; negation-as-failure」推論規則によれば、ゴール Q がプログラムによって証明できない場合、その否定 not(Q) は証明されたと見なされる。これは古典的論理学では全く正しくない。公理から Q も not(Q) も導けない可能性がある。結果として、この規則は論理的例外と実用的困難さをもたらした。後方連鎖証明規則に「失敗による否定」を加えても完全ではない。その場合、プログラムを宣言的に読んで得られる論理的結果の全てを証明することができない。しかし、ほとんどの Prolog 系言語は「失敗による否定」を \+ という文字列を使って実装している。完全ではないものの、プログラムとしての完全性（completion）という意味では「失敗による否定」規則は（ある制限下で）健全な推論規則であると言える。論理プログラムの完全性は Keith Clark が最初に定義した。おおまかに言えば、それはプログラム内の左辺に同じ述語のある全節の集合である。例えば、以下のようなものである:     H :-  Body₁.     ....     H :-  Bodyₖ.これらは次の1つの論理式と等価である。     H iff (Body₁ or ... or Bodyₖ)ここで、iff は同値（if and only if）を意味する。完全性を主張するには、等号と等号に関する公理を明確にする必要もある。完全性は非単調推論のためのマッカーシーのサーカムスクリプションや閉世界仮説に密接に関連する。