[B! Prolog] Hashのブックマーク

Hash id:Hash

Prologに関するHashのブックマーク (7)

すごーい！きみはプログラミング言語を実装できるフレンズなんだね - Qiita
Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?
Hash 2017/02/14
qiita

prolog

programming
リンク
第五世代コンピュータ - Wikipedia
この記事には参考文献や外部リンクの一覧が含まれていますが、脚注によって参照されておらず、情報源が不明瞭です。脚注を導入して、記事の信頼性向上にご協力ください。（2023年9月）第五世代コンピュータ（だいごせだいコンピュータ）計画とは、1982年から1992年にかけて日本の通商産業省（現経済産業省）所管の新世代コンピュータ技術開発機構（ICOT）が進めた国家プロジェクトで、いわゆる人工知能コンピュータの開発を目的に総額540億円の国家予算が投入された。第五世代とはICOTが定義した電子計算機の分類に由来し、第一世代（真空管）、第二世代（トランジスタ）、第三世代（集積回路）、第四世代（大規模集積回路）に続く、人工知能対応の次世代技術を意味した。プロジェクトの三本柱は、非ノイマン型計算ハードウェア、知識情報処理ソフトウェア、並行論理プログラミング言語とされた。当プロジェクトの評価には賛否
Hash 2015/05/16
なんだこの「歴史から葬られた先の大戦」感は

wikipedia

japan

Prolog

研究
リンク
How to create a web service easily?
HOME DOWNLOAD SWI-Prolog Sources/building Docker images Add-ons Browse GIT DOCUMENTATION Manual Packages FAQ Command line PlDoc Bluffers▶ Prolog syntax PceEmacs HTML generation License Publications Rev 7 Extensions TUTORIALS Beginner▶ Getting started Learn Prolog Now! Simply Logical Debugger Development tools Advanced▶ Modules Grammars (DCGs) clp(fd) Printing messages PlDoc Web applications▶ Web a
Hash 2015/01/30
Prolog

web

http
リンク
Prolog - Wikipedia
Prolog（プロログ）は論理プログラミング言語の一つであり、該当分野で最もよく知られている論理型言語の代表格である。主に人工知能研究や計算言語学との関連性を持つ。定理証明、エキスパートシステム、自動計画、自然言語処理とも繋がりが深い。形式論理である一階述語論理を基礎にして、事実群と規則群の表現および関係の観点に立った宣言型パラダイムに準拠しており、その関係に則った質問によって計算が開始されるという性質を持つ。 Prologは、1972年にマルセイユ大学のアラン・カルメラウアーとフィリップ・ラッセルによって開発された。フランス語の「programmation en logique」がその名の由来である[1]。Prologの誕生にはエディンバラ大学のロバート・コワルスキが考案したホーン節が大きく寄与している。カルメラウアーによる元祖版はマルセイユPrologと呼ばれている。その後、コワルスキ
Hash 2014/11/26
充実

Prolog

wikipedia
リンク
Pathwayslms
Située au nord de l’Espagne, Asturies est une ville autonome, qui attire beaucoup de visiteurs. Pour ceux qui se sont déjà lancés sur le chemin de Compostelle, ils se rappelleront certainement des Asturies car, c’est un véritable paradis vert. Parmi ses nombreux paysages aussi bien sauvages et paisibles, les plages rocheuses et les architectures […] Les Asturies d’Espagne font partie de ces vérita
Hash 2014/08/09
Prolog

web
リンク
Erlang, Oz/Mozart, Prolog, 単一化: ホットコーナー
ブログ(iiyu.asablo.jpの検索) ホットコーナー内の検索でもASAHIネット(asahi-net.or.jp)全体の検索です。検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。例　中村(show) ki4s-nkmr ウェブ全体の検索標題: Erlang, Oz/Mozart, Prolog, 単一化 --- Erlangのこと、あれこれやってたから、弾さんのコメントがあった。 http://blog.livedoor.jp/dankogai/archives/50832431.html そろそろerlangについて一言いっとくかで、 --- ここから --- 変数束縛が Variable = Value. なのに、関数定義が function(Aargument) -> blah, blah, blah. てのはどうよ? --- ここまで
Hash 2014/07/29
よんだ

Prolog

erlang

Mozart

oz

programming

lisp
リンク
ドコモは、Prologで動いている＼(^O^)／: ホットコーナー
ブログ(iiyu.asablo.jpの検索) ホットコーナー内の検索でもASAHIネット(asahi-net.or.jp)全体の検索です。検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。例　中村(show) ki4s-nkmr ウェブ全体の検索 ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。 --- 6月に、九大(九州大学)に講義に行ったとき、中洲産業大学で厳粛に執り行われた馬刺し教授会で、ここでもたびたび言及している「最近、関数型言語が現場でもやっと使われ始め、でも、Prologのような論理型言語を知らない学生や技術者がいて、おれらの学生時代(今から30年から35 年前)、Lispのような関数
Hash 2014/07/29
Prolog

programming

docomo
リンク
1