Prologの動作原理と自然言語処理
Prologの動作原理と自然言語処理 この記事はtraP Advent Calendar 2016の23日目の記事です。当日の朝に書くとかウッソだろお前！ Hello, Everybody. Davidです。この記事ではあまり聞きなれないPrologというプログラミング言語について書きます。PrologはいいぞHaskellはもっといいぞ 事前知識 述語論理に関して多少の知見があれば良いという程度です。 Prologはいわゆる論理型言語というプログラミング言語の一種ですが、論理のことが分かっていないと書けないわけではありません。Prologの動作原理に関するところではん？となるかもしれませんが本筋では無いのであまり気にしなくて良いでしょう。一応参考となる論理学の本を2冊ほど挙げておきます。 https://www.amazon.co.jp/情報科学における論理-情報数学セミナー-小野-寛晰
Prologソースプログラム例
【書籍等の購入はこちら⇒】 【AZ Prologソースプログラム】 【VBA/Excel式定義】 【VB.net】 【C#.net】 【Android Java】 【C言語】 【Prolog】 【Python】 C言語による【言語処理学習用データ型自由なミニ言語(Type Free Mini Language)】 60代の方々は、若いころの流行りだったProlog。懐かしいのではないでしょうか。 今でも提供されているAZ Prolog でプログラムを書いてみました。 【目次】以下の目次をクリックすると該当記事にジャンプします。 日本語による人的関係の説明・質問応答 AZ Prologでのカーソル移動 画面上で文字を動かす方法 Prologでライフゲーム Prologでインベーダゲーム Prologでダイスゲーム Prologでジャンケン Prologで８王妃問題 日本語による人的関係の説明
EgisonでPrologっぽいことをやってみる - Qiita
はじめに 最近，PrologでスキーマレスなNoSQLに目覚めて楽しいです．サザエさん程度なら，学習もし易いですし，言語仕様も細かく覚える必要がありません．優しい言語で，素人でもデータベースを記述することができれば，プログラマがだいぶ楽になるんじゃないかなと思うわけですね．もちろん，規則を書かなければの話ですが． Prologには連言（AND）が使えます．質問を投げるとき，複数の述語を投げることで，質問の条件を細かく指定することができます．例えば，プリキュア戦士やスーパー戦隊などのスキーマを，以下のような述語で与えたとします． warrior(nagisa_misumi, futari_ha, black). warrior(honoka_yukishiro, futari_ha, white). warrior(hikari_kujo, max_heart, luminus). warr
Prologで学ぶAI手法 – AZ-Prolog
「Prologで学ぶAI手法」の著者の高野真です。 本書はパソコンワールド誌に連載されたものの前半部分をまとめて啓学出版から出版したものですが、パソコンワールド誌の発行元、啓学出版が共に倒産したため、長いこと絶版となっていました。 本書のプログラムは当時のPC-9800シリーズで動作する処理系であるProlog-KABAで動作するものでしたがこのたびソフネック株式会社のAZ-Prolog上にプログラムを移植すると同時に本書の原稿を変換したものをソフネック株式会社のサーバーに掲載する運びとなりました。 同時に書籍化できなかった単一化文法HPSGを使った機械翻訳システムの連載記事も掲載いたします。 高野真はペンネームで本名は斎藤孝信です。 現在経営する会社は異分野の画像認識専業となっているため、ソフネック株式会社のサーバーに載せるのが最適であろうと判断して今回の掲載を許諾いたしました。 高野真
ドコモは、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のような関数
Prolog
\n"; res += "\n"; res += this.proof_print_sub(p, linkclist, ulist); res += this.printlist(); res += "\n"; res += "\n"; return res; } function program_proof_print_sub(p, linkclist, ulist) { var res = ""; res += "\n"; if ( linkclist.linkrulelist[p] != 0 ) { res += " \n"; res += "(" + linkclist.linkrulelist[p] + ") " + this.statlist.getitem(linkclist.linkrulelist[p] - 1).subst(ulist, linkclist.levlis
Prolog で型チェック：Rainy Day Codings：So-net blog
Prolog の力といえば単一化ですが、[1] の記事でやったような型チェックの場合も、同じ型であるかどうかの判断というのは単一化でうまく書けそうです。 型チェックのところだけ書きたいので構文木は適当に与えられているものとします。 整数と真偽値と条件分岐と変数束縛とラムダから成る簡単な言語を想定して Prolog で型チェックを行ってみます。 type_of(Num, _, number) :- number(Num). type_of(true, _, bool). type_of(false, _, bool). type_of(if(Cond, True, False), Env, T) :- type_of(Cond, Env, bool), type_of(True, Env, T), type_of(False, Env, T). type_of(let(Sym, Val, B
Prolog入門 Introduction to Prolog (in Japanese)
Prolog の概要 PROgramming in LOGic (論理プログラミング)の省略． AI 用言語 (AI プログラムの記述・開発に適している言語)の一種． 1974 年に仏国の Colmerauer らにより開発された． 通産省の第五世代コンピュータプロジェクトの核言語として採用された． Prolog の特徴 記号処理言語，リスト処理言語: データとして，記号(シンボル)を取り扱うことができる． また，リストと呼ばれる可変長のデータの列を取り扱うことができる． 論理型言語: Prolog では新たな述語を論理式で定義することによってプログラムを 作り上げていく． すなわち， Prolog のプログラムは論理式の集まりである． Prolog や LISP は， FORTRAN や BASIC などの手続き型言語とは異なり， 非手続き型言語と呼ばれる． 対話的使用，会話的使用: P
［Prolog］[Tips] 美しいPrologのコードの書き方(1) - negationの日記
Prologのコードを美しく書くにはどうしたらいいか？。少々ボリュームがあるので、根気のある人だけ読んでくださいw。でもきっとためになります。 まずPrologを書くに当たって、重要なことは「引数の性質が何であるか」と言うことです。 Prologの引数には3つの性質があります。 定数としての引数。これはhoge(+bar)とSWI-Prologのhelpに書かれています。 処理した後に値を返すための引数。hoge(-bar)。 上記どちらでも良い引数。hoge(?bar)。 たとえば、times(X,Y,Z)という述語を考えてみます。これは「X*Y=Z」という意味としましょう。このコードは以下のようになります。 times(X,Y,Z):- Z is X * Y. あ、「｀*’使ってたら意味ないじゃん」というつっこみは無しでw。例ですからw。このときもし ?- times(X,Y,3).
![［Prolog］[Tips] 美しいPrologのコードの書き方(1) - negationの日記](https://cdn-ak-scissors.b.st-hatena.com/image/square/bbfea157608b38a61d2a061b70f3c8e35d62a7b1/height=288;version=1;width=512/https%3A%2F%2Fogimage.blog.st-hatena.com%2F17680117127137911909%2F17680117127137923834%2F1558077720)
IT断食、アップルとの正しい付き合い方、BRMS, 超高速開発、なうデータ研究所、Prolog, Lisp, Scala: ホットコーナー
ブログ(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/ )に転載したものから。 --- http://iiyu.asablo.jp/blog/2012/10/03/6591288 週刊ダイヤモンド、日本を呑み込む支配者 アップルの正体 で紹介した http://www.amazon.co.jp/exec/obidos/ASIN/B009DJGO7M/showshotcorne-22/ 週刊
論理型言語Prologと関数型言語Haskellを比較してみた - エンジニアのソフトウェア的愛情
PrologとHaskellで同じ問題を解いてみました。Prologで同程度の問題を解けるくらいのプログラミングができたのは初かもしれない…。 お題は鍋谷さんが開催されている「オフラインリアルタイムどう書く」の第4回のお題を利用させてもらいました。 テトロミノ認識〜 横へな 2012.10.6 わたしが回答した例はGitHubにもアップしてあります（このエントリで取り上げるコードもアップされています）。 GitHub - mattsan/ord4tetroid: 第四回 オフラインリアルタイムどう書く「テトロミノ認識」 コードが、というか、そもそも解き方がアレでナニで不細工ですが、今回の話題の中心は別のところ――HaskellとPrologを比較してその違いを知りPrologの理解を深める――なので大目に見てください。 PrologとHaskellを比較する コードの全体は後半にありますの
Prologと表計算による意思決定と認知科学のモデリングとシミュレーション
Prologと表計算による意思決定モデリング＆シミュレーション updated: 16 Jun 2013 (2 Sep 2018, 7 Apr 2019) English 本ページの内容は個人が作成するもです。実用性や正確性は保証されていません。 もし誤りなどがございましたら、おそれいりますが作者までご指摘・ご指導いただければ幸いです。 PrologプログラムはSWI-Prologのversion 7.6.4(5.6.64, 5.0.9, 1.9.0)かそれ以降を使って います。また表計算とあるのはExcel （2003、2002）です。 Prologと人工知能、統計手法 日本語文の語彙的ネットワークの安定性(Prolog)● 日本認知科学会第35回大会ポスターセッションsP-86 ポスター (30 Aug 2018) 簡単な日本語文生成(Prolog)● 助詞をファンクターにして実験して
おためしAZ-Prolog
HEAP (cell) 262144 USED: 25505 ATOM (cell) 16384 USED: 692 ARITY (cell) 16384 USED: 682 LSTACK (cell) 32468 MAX: 64 GSTACK (cell) 262144 MAX: 24455 割り当て稼動秒：最大５秒 /* **** 翻訳プログラム例題 **** */ trans(Bun,IMI,J):- bagof(A,L^(rexpl(Bun,'[^ ^\.]+',L),name(A,L)),E), % 文字列をアトム並びへ変換 s(IMI,E,[]), % 英語の構文解析 js(IMI,J,[]). % 同一構文を持つ日本語生成 %%%%%%%%%%%%%%%%%%%%%%%% %% 英語構文規則、辞書 %% % 通常文 s([s,Np,Vp]) --> np(Np),vp(Vp)
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Common Lispのお宅拝見: CMU Common Lisp篇 — #:g1
LiLFeS
サービス終了のお知らせ
お気楽 Prolog プログラミング入門
Prolog (4)
はてなブログ | 無料ブログを作成しよう
https://www.docstoc.com/docs/121654379/Prolog