標題: Erlang, Oz/Mozart, Prolog, 単一化
---
　Erlangのこと、あれこれやってたから、弾さんのコメントがあった。
http://blog.livedoor.jp/dankogai/archives/50832431.html
そろそろerlangについて一言いっとくか
で、
--- ここから ---
変数束縛が
Variable = Value.

なのに、関数定義が
function(Aargument) -> blah, blah, blah.

てのはどうよ?
--- ここまで ---
と書いているが、弾さん、こんなのさ、どうよ？と挑発されたら、「お前がバ
カ」の一言で終わり。＼(^O^)／
　= が単なる変数束縛だと思っているところが、もう、アウト！＼(^O^)／
　これ、ココロは、Prologの単一化(ユニフィケーション, unification)なん
だよ。だから、関数定義とは別の記号を使っているんだと思うけどね。
　ま、個人的には同じ記号だろうが別の記号だろうが、どうでもいいことだけ
ど、変数の束縛は単一化の特殊ケースだということは、知っておいていいと思
う。
　HaskellやOCamlなどもそう思うし、Erlang, Oz/Mozart(MozartはOzの実装)
もそうだけど、Prolog以後のヨーロッパの言語って、Prolog的なものをうまく
入れてるなと思う。これらの言語にあるパターンマッチは、おれには全部
Prologの単一化の簡略版に思えるからね。

　HaskellもOCamlもErlangもそうだけど、このパターンマッチは、Prologとは
違って、片方向なんだよね。
http://www.amazon.co.jp/exec/obidos/ASIN/193435600X/showshotcorne-22/
Joe Armstrong著「Programming Erlang: Software for a Concurrent World」
では、= の動作は、Prologの単一化でバックトラックがないものくらいに考え
てくれなんて脚注があるが、片方向だと、フツー、単一化とは言いがたいので、
それでパターンマッチだといってるんだろうね。言葉も一般向けだし。
　他の言語の = が片方向なのに比べ、Ozの = は双方向になっている。どうい
う意味かといえば、Ozで、X, Z, Bが宣言はされているが、未束縛だとすると、

[X 'b' Z] = ['a' B 'c']

と書いたら、Xは'a'、Zは'c'、Bは'b'になる。
　ちゃんとした単一化だから。= の左辺と右辺の両方を書き換えてマッチさせ
ようとしているわけ。Oz言語の仕様を実装したMozartでやると実際そうなる。
プログラミングスタイルとしては、推奨されないようだが。
　この辺のことは、たびたび紹介しているCTM、つまり、
http://www.amazon.co.jp/exec/obidos/ASIN/4798113468/showshotcorne-22/
セイフ・ハリディ, ピーター・ヴァン・ロイ, 羽永洋訳「コンピュータプログ
ラミングの概念・技法・モデル」
でアルゴリズムも含めて詳しく書いてある。その他ぼくが書いたCTMのことは、
ウェブやブログにつけている検索窓に CTM を入れて検索してもらえば。
　Oz/Mozart, CTMの補足については、このあと別に書く。

　で、ふと、思ったのが、いま、日本では関数型言語が注目されているなどと
いうが、最近、関数型言語に触れた人は、Prologや単一化や論理型プログラミ
ングや制約プログラミングなど、全然、知らないんじゃないかと。
　弾さんですら、あんなこと書いているくらいだし。＼(^O^)／
　おれも、ほとんど知らないけどさ。＼(^O^)／
　知らないけど、知ったことにして、人に薦めて焚きつけてしまうのがおれの
すごいところ。＼(^O^)／
　そこで、我が情報省は、緊急アンケートをした。＼(^O^)／
　関数型言語をかじった人、1000人に聞きました。
　おい、日本にかじった奴、1000人もいないと思うぞ。
　そ、そうか。^^; じゃ、100人に聞きました。あなたは、Prologや単一化や
論理型プログラミングを知っていますか？
　そしたら、あなた、100人中3.5人しか知りませんでした。＼(^O^)／
　ほんとかよ、そのアンケート。
　まあ、そういうことにしないと後の話につながらないので、テキトーよ。こ
れ、広告屋やマーケ屋がやってるのと同じね。＼(^O^)／
　それはいいとして、3.5人の0.5人って何だよ。
　あ、それは、答えてくれたのが、まだ、胎児だったんです。＼(^O^)／
　超天才だろ、その子。国家で保護して日本の救世主にしろ。＼(^O^)／

　ってなわけで、大学やらどこでもいいけど、コンピュータサイエンス、計算
機科学、情報科学、情報工学なんでもいいけど、そういうところで、まっとう
なカリキュラムを持ってるところだと、関数型を教えて論理型を教えないなん
て、おれの常識からは、考えられない。関数型言語ブームで論理型がさっぱり
忘れ去られているとすれば、バランスを欠いていると思えるのね。
　なんたって、あなた、1980年代AIブームのときは、第５世代コンピュータプ
ロジェクトもあって、日本は世界最高の論理型プログラミング王国、Prolog王
国だったんだから。それが、20年足らずでこのテイタラク。
　世界最高水準だったコンパイラ技術を捨て、プロセッサ技術を捨て、論理型
プログラミング技術を捨て、ああ、日本はどうなってしまうんだ(爆)。＼(^O^)／
　大体ね、関数型を知ってて、論理型を知らないなんて、ドラエモンは知って
るのに、サザエさんを知らないみたいなもんだろ。
　ワケがわからん。
　じゃ、ポケモンは知ってるのに、ゴルゴ13を知らないみたいなもんだ。
　やっぱりわからんけど、少しはニュアンスは伝わるかな。＼(^O^)／

　ヨーロッパは、Prolog的なものを以後の言語に入れているし、AIブーム時に
Lispが主流だったアメリカでもLispの中に入れている。
　FranzのAllegro Common Lispには最初から入っているね。
http://jp.franz.com/index.html
Allegro Common Lispの日本語サイト
http://www.franz.com/products/prolog/index.lhtml
Allegro Prolog

　まっとうなLisper/Schemerなら、みんなPrologをよく知ってるから、Lispで
Prologを書くのは定番化している。
http://iiyu.asablo.jp/blog/2006/12/31/1082233
AIプログラミング
や、
http://iiyu.asablo.jp/blog/2007/12/29/2534861
The Reasoned SchemerとLisp, AI本
で紹介した
http://www.amazon.co.jp/exec/obidos/ASIN/1558601910/showshotcorne-22/
Peter Norvig著「Paradigms of Artificial Intelligence Programming: Case
Studies in Common Lisp」
でも、PrologをLispで書いているし(これがAllegro Prologのベース)、
http://iiyu.asablo.jp/blog/2007/03/23/1337051
うぉぉ、「On Lisp」日本語版が来たぁぁ＼(^O^)／＼(^O^)／＼(^O^)／
で、出版を喜んだ
http://www.amazon.co.jp/exec/obidos/ASIN/4274066371/showshotcorne-22/
Paul Graham著、野田開訳「On Lisp」
でも、Prologを書いているし、
http://iiyu.asablo.jp/blog/2007/01/11/1107622
全文検索とSBCによるサムネイル化デモ
で一番の掘り出し物だと紹介した
--- ここから ---
　今回、一番掘り出し物だと思ったのが、神戸大学のLispマシンとPrologマシ
ンの話。
　高水準言語マシンを知らない人は、ご一読を。
http://www.ipsj.or.jp/katsudou/museum/paper/magazine/IPSJ-MGN430205.pdf
神戸大 LISP マシン、PROLOG マシン
--- ここまで ---
とかもあったのよね。

　なぜ欧米(日本以外では？)では、Prologや論理型プログラミングが脈々と受
け継がれているかといえば、計算モデルとして重要だし、面白いということも
あるし、制約プログラミングの話もあるし、Prologの非決定性の探索は魅力的
だし、現実の応用でも問い合わせ言語に使われたりしてきたから。
　上記の本でも、AI的な探索手法の解説で、Prolog的な探索を実装しているわ
け。前述のCTMの中でも、当然、Prologを紹介して論理型プログラミングを解
説してある。
　さっき紹介したAllegroは、RDFやオントロジーの検索にProlog的なものを使
っている。
　それくらい、この辺の話は、重要なのよ。だから、
http://iiyu.asablo.jp/blog/2007/12/29/2534861
The Reasoned SchemerとLisp, AI本
で書いた
--- ここから ---
　AI的なプログラミング技法は、データマイニング、テキストマイニングなど
知的な検索やら、自然言語解析やら、言語、画像、音声などの各種認識やら、
いまますます重要になっていますし、今後もますます重要になります。したが
って、AI的なことを知っておくのは、これからの技術者には非常に重要なこと
だと思っています。
--- ここまで ---
というのは、ほんとの気持ち。

　今回、Prologや単一化のことを検索したら、面白いものがあった。非常にす
ばらしいと思ったので紹介する。
http://www2.biglobe.ne.jp/~optimist/computing/prolog.html
Prolog
と
http://www2.biglobe.ne.jp/~optimist/computing/unification.html
単一化(unification)
をどうぞ。ささいな間違いがあったので、作者の古田さんに連絡したら、ソッ
コーで修正してくださった。ありがとうございます。
　前者は、簡単なPrologのプログラムがブラウザから直接実行できる。なんと
JavaScriptでPrologを書いてあるのね。＼(^O^)／
　後者は、単一化の解説。数学的な記述なので、受け付けない人もいるかもし
れないけれど、単一化とはどういうことかきちんと書いてある、わかりやすい
解説。さっき出てきたOzの = は、この解説でいう単一化代入。Ozの場合は、
データフロー変数や部分値があるから、もうひとひねりあるけれどね。

　Prologの入門として、今回発見したのが、
http://www.fujita.soft.iwate-pu.ac.jp/prof_dir/kure/Lecture/Prolog/
岩手県立大学の平成１４年度「知能システム学」Prolog編
という講義資料。
　岩手県立大学は、できて２、３年のときにお邪魔したことがある。非常にき
れいなキャンパスだった。
　これを書いた槫松(くれまつ)先生の講義のページ
http://www.fujita.soft.iwate-pu.ac.jp/prof_dir/kure/lectures.html
をみると、過去の資料扱いになっているから、もう、直接はPrologは教えてな
いかもしれないね。でも、ちゃんと
http://www.fujita.soft.iwate-pu.ac.jp/prof_dir/kure/Lecture/Lisp/lisptop.html
に、Lispもある。
　関数型Lispと論理型Prologの両方を教えている！　これがまっとうなカリキ
ュラムだよ。＼(^O^)／
　いまは自然言語処理のほうの授業に力を入れているようだが、そういう方面
をやると、LispやProlog的なものはやらざるを得ないから、その過程で独習さ
せているのかもしれない。

　どんどん脱線するが、槫松先生の属する藤田ハミド先生の研究室のウェブ
http://www.fujita.soft.iwate-pu.ac.jp/index.html
をみると、「宮沢賢治プロジェクト」なるものをやってるね。さすが宮沢賢治
の地元！
　プロジェクトの目標は、「宮沢賢治自身をコンピュータ上に再現する！」
　すごーい。気宇壮大でいい。＼(^O^)／
　こういうの、どんどんやってほしいね。

　地元、お膝元といえば、ヨーロッパではお膝元ということもあって、Prolog
は実用に使われているし、実装はいまでも改良されている。
　Prologの実装一覧は、
http://lang.x0.com/logic/prolog/proc.htm
Prologリンク集：処理系
がよさげ。
　その上のレベル
http://lang.x0.com/logic/index.html
論理型言語リンク集
をみると、Prolog以外にもいくつかある。Mercuryは、CTMでも出てくるが、
Goedelなんてのもあるのね。
　Prologの処理系に戻ると、日本でも、
http://www.kprolog.com/
で、K-Prologという処理系を作って売ってる
http://www.kprolog.com/KLS/
株式会社KLS研究所
という会社があるのね。
http://www.ifcomputer.com/IFProlog/home_jp.html
のほうは、日本支店か代理店っぽいけれど。
　SICStus PrologとQuintus Prologは、両方ともスウェーデンの組織が配って
るね。Erlangもスウェーデンだし、Prologの血脈だし、いま世界一のProlog王
国はスウェーデンなのだろうか。
　このリストにはないけど、Javaで書かれた
http://www.ugosweb.com/jiprolog/index.aspx
JIProlog - Java Internet Prolog
というのもある。
　これもリストにはないけど、KL1は、第五世代コンピュータプロジェクトで
作られたPrologを大幅拡張した言語。
　第五世代コンピュータプロジェクトの総括は、
http://iiyu.asablo.jp/blog/2006/08/10/479111
第五世代コンピュータプロジェクトは死なず！＼(^O^)／
で紹介したので、暇なら読んでみて。KL1は、いま、KLICとして存在している
けれど、ICOTで開発した高水準言語マシンは、稼動するものが現存しているの
だろうか。ちゃんと文化財として保存しておいてほしいんだけどね。
　その他、第五世代コンピュータについては、
http://ja.wikipedia.org/wiki/第五世代コンピュータ
を参照。

　おれさまが2008年の最初に論理型プログラミングのことを書いたから、今年
は論理型プログラミングの当たり年になるぞ。＼(^O^)／