Prolog - Wikipedia
Prolog（プロログ）は論理プログラミング言語の一つであり、該当分野で最もよく知られている論理型言語の代表格である。主に人工知能研究や計算言語学との関連性を持つ。定理証明、エキスパートシステム、自動計画、自然言語処理とも繋がりが深い。形式論理である一階述語論理を基礎にして、事実群と規則群の表現および関係の観点に立った宣言型パラダイムに準拠しており、その関係に則った質問によって計算が開始されるという性質を持つ。 Prologは、1972年にマルセイユ大学のアラン・カルメラウアーとフィリップ・ラッセルによって開発された。フランス語の「programmation en logique」がその名の由来である[2]。Prologの誕生にはエディンバラ大学のロバート・コワルスキが考案したホーン節が大きく寄与している。カルメラウアーによる元祖版はマルセイユPrologと呼ばれている。その後、コワルスキ
プログラミング言語C - Wikipedia
『プログラミング言語C』(原題：The C Programming Language)は、ブライアン・カーニハン (Brian W. Kernighan) とデニス・リッチー (Dennis M. Ritchie) によって書かれたC言語についての書籍である。著者名の頭文字からしばしばK&Rと略される。 初版[1]は1978年に出版され、C言語が標準化されるまでの間リファレンス的な扱いを受けていた。1988年の第2版[2]ではANSIでの標準化 (C89) を反映して大幅に変更されている。 日本語訳は初版・第2版と訳書訂正版とも石田晴久[3][4][5]。『C MAGAZINE』（日本ソフトバンク、後のソフトバンククリエイティブ）創刊号の石田のインタビューによると、初版は某企業がC言語講座事業を行うにあたり、許可を取らずに勝手に翻訳していたものを貰い受けそれを下訳として翻訳を行なったという
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
