芋出し画像
Photo by konohanoko

💎自虐がすぎるProlog蚀語黙瀺録颚のwikipedia日本語版蚘事 tronずずもに静かに眠れよ 論理蚀語のディアスポラ 宣蚀匏のあれ

あたり垳簿

黙瀺録には人の階士が出おくる


人類史の敗北を知るにそこたでいかなくおも、出゚ゞプト蚘ずかがある、ずにかく呪われろず蚀うあのおひず

あなたがわたしの民を去らせないならば、わたしは、あなたずあなたの家来ず、あなたの民ずあなたの家ずに、あぶの矀れを぀かわすであろう。゚ゞプトびずの家々は、あぶの矀れで満ち、圌らの螏む地もたた、そうなるであろう。

さらに、申呜蚘になるず、呪われ方もはんぱない

15 しかし、あなたの神、䞻の声に聞き埓わず、きょう、わたしが呜じるすべおの戒めず定めずを守り行わないならば、このもろもろののろいがあなたに臚み、あなたに及ぶであろう。あなたは町のうちでものろわれ、畑でものろわれ、あなたのかごも、こねばちものろわれ、あなたの身から生れるもの、地に産する物、牛の子、矊の子ものろわれるであろう。あなたは、はいるにものろわれ、出るにものろわれるであろう。

こねばちたでも呪われる蚀語ずいわんばかりの日本語wikipediaのprolog解説、自虐がすぎる、関係者か

1970幎代終り頃、日本では通産省の電子技術総合研究所の枕䞀博を䞭心ずするグルヌプが論理プログラミングの重芁性を認識しお、日本のコンピュヌタ技術の基瀎技術ずしおこれを取り䞊げるこずを提案する。

https://ja.wikipedia.org/wiki/Prolog#%E6%96%B0%E4%B8%96%E4%BB%A3%E3%82%B3%E3%83%B3%E3%83%94%E3%83%A5%E3%83%BC%E3%82%BF%E6%8A%80%E8%A1%93%E9%96%8B%E7%99%BA%E6%A9%9F%E6%A7%8B%E3%81%A8Prolog

抂芁においおは述語理論の実装ずしおのPrologの出自や、珟代にたで぀ながる諞芁玠がバランスよく述べられおいるが、歎史線になっお旧玄聖曞にでも茉せたいのかずいう勢いが生たれおいる。

これが最終的に1980幎代の新䞖代コンピュヌタ技術開発機構の発足ず掻動に぀ながった。総額玄570億円の囜家予算を玄束されお1982幎に新䞖代コンピュヌタ技術開発機構ICOTは掻動を開始する

このICOTにからんで䞻に日本のPrologがこずごずく近代蚀語ずしおむニシアチブやリヌダヌシップが取れなかった経緯を䞁寧に述べおいる。

ICOT が䞻催したロゞック・プログラミング・コンファレンスは1983〜1985幎頃をピヌクに若い研究者達を刺激した。研究掻動前半の期間では論理型蚀語の実甚性を蚌明するために、Prologマシンが蚭蚈され、䞉菱電機ず沖電気によっお補䜜され、ICOT の他倧孊等研究機関に配垃された。

LISPマシンはもう少し商甚利甚されおからしがんで、盛衰も足早に語られるが、PrologのWikipediaはずりあえず別の䞖界線を探し求めおやたない。

ESPは倚重継承を特城ずする圓時ずしおは先鋭のオブゞェクト指向蚀語であったが、埌にカプセル化の䞍備などが指摘されお、今日あたり話題ずなるこずはない。しかし、OSを蚘述するずいう課題を通じお、論理型蚀語にオブゞェクト指向蚀語的芁玠を加えるこずによっお、可読性が高たりプログラム管理がしやすくなるこずが確認された。その反面、Prolog のみでオペレヌティングシステムを完党に蚘述しおみる絶奜の機䌚を逞したこずも確かである。

匷烈なWHAT IF

機械翻蚳などの自然蚀語凊理もたた人工知胜の䞀翌を担う分野であるが、歎史的経緯から人工知胜ブヌム以前から、この蚀語に最も期埅が掛けられた分野であった。しかし、巊再垰問題の回避でトップダりン解析の明解さをいきなり殺がれた。

圧倒的な筆圧。筆のちから

パ゜コンのオペレヌティングシステムずしお Microsoft Windows が䞀般に普及し始めるず、初心者教育にりィンドりの郚品の展開を題材ずするのに適したオブゞェクト指向蚀語に人気が集䞭し、Prolog は動䜜の遅い倖れた蚀語のむメヌゞを持たれるようになる。さらに21䞖玀に入るず Prolog がクラス抂念を持たないため、マむクロ゜フト瀟による .NET アヌキテクチュアの共通蚀語基盀CLRの察象蚀語から倖され、この傟向に拍車をかけた。぀いには枯れた蚀語ずいうニュアンスを含んでではあるが、「化石蚀語」ず揶揄されるたでに至ったのである。

ドメむン固有蚀語である。プログラミングにおいおデヌタベヌスぞのアクセスのために、プログラミング蚀語ず䜵甚されるが、SQLそのものはプログラミング蚀語ではない。

そのコッド自身をはじめ他からも、関係代数ず関係論理にきちんず準拠しおいないずしお批刀されおはいる

幎代にPerlがなんずなく普及しおなんずなくだらしない評刀があったのずSQLは䌌おいるずでもいうのだろうか

関係代数かんけいだいすう、リレヌショナル代数、英: relational algebraは、関係デヌタベヌスの関係モデル リレヌショナルモデルにおいお、集合論ず䞀階述語論理に基づいお、関係 リレヌション、衚、テヌブルずしお衚珟されたデヌタを扱う、コンピュヌタ科孊における代数的な挔算の䜓系である。

お、でおきた䞀階述語論理。

珟圚では、関係代数の挔算子ずしおは、和、差、亀わり (亀差) 、盎積、制限 (遞択) 、射圱、結合、商の8皮類が蚀及されるこずが倚い。 ただし属性名倉曎や拡匵、芁玄などこの他の挔算子も考案されおいる。

関係代数を実装したデヌタベヌス蚀語問い合わせ蚀語ずしおは、SQL や Tutorial D などが挙げられる。 ただし SQL に぀いおは、関係代数を完党な圢で実装しおいないずしお批刀する意芋がある。

さっきず同じ人が執筆しおるきがしおこわい。Tutorial Dずいうなんか頭文字DみたいなDSLがあるようだ。

D自䜓はデヌタベヌス蚀語ではない。 デむトずダヌりェンは、2008幎珟圚で広く䜿われおいるデヌタベヌス蚀語SQLを、関係モデルを正確に実装しおいないずしお、批刀しおいる。

でた。そんなに倧事か関係モデル

Tutorial D が孊術のための蚀語であるのに察し、実務のために䜿われるDの正確な実装は Industrial D ず呌ばれる。

たらいたわしにされた気もするが、Dを知りたきゃむンダストリアルDを芋よずいうこずらしい。

Dの最初の実装は D4 であり、C#で開発された。 D4は、Alphora瀟の関係デヌタベヌス管理システム (RDBMS) Dataphor でデヌタベヌス蚀語ずしお採甚されおいる。 他の実装ずしおは、Rel、Opus、Duro、Dee などがある。 これらの実装はすべお Industrial D ず䜍眮づけられおいる。

ただ出口がわからなくなっおしたったが、Prologの悪口を聞きすぎおどうしおいいかわからなくなっおしたったのでSQLにその痕跡を探したが、SQLはSQLで関係モデル準拠でないず蚀われおいるずいうこずを知っお䞀階述語論理の奥深さをしったが、源流にカントがいたら党郚滅茶苊茶にしたい。
これを論理蚀語のディアスポラず呌がう


お願い臎したす