ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
　Oz/Mozartのデータフロー変数(論理変数)に注目している人がいますね。
http://d.hatena.ne.jp/mzp/20080229/mozart
Mozartのデータフロー変数すげぇ
http://d.hatena.ne.jp/mzp/20080120/dataflow
データフロー変数

　特に後者がすごい。ふーん、面白い。じゃ、OCamlを改造してみようと30分
で作ってるんだもんね。＼(^O^)／
　camlp4ってのが、パーサ？　その４パス目？^^;
　みずぴーさんって、
http://iiyu.asablo.jp/blog/2007/10/30/1879026
中山茂著「Fortress言語」、OCaml-Nagoya著「入門OCaml」
で、ちょっと紹介した
http://www.amazon.co.jp/exec/obidos/ASIN/4839923116/showshotcorne-22/
OCaml-Nagoya著「入門OCaml プログラミング基礎と実践理解」
を書いた人たちの一人なのね。
　さすが、ソッコーでパーサに手を入れて作っちゃうところなんか、すごいな
あ。
　元気よすぎ。＼(^O^)／
　日本のソフトウェアの未来は安泰です。＼(^O^)／

　ちなみに、CTM/CTMCP/ガウディ本
http://www.amazon.co.jp/exec/obidos/ASIN/4798113468/showshotcorne-22/
セイフ・ハリディ, ピーター・ヴァン・ロイ, 羽永洋訳「コンピュータプログ
ラミングの概念・技法・モデル」
では、データフロー変数と呼んでいますが、並列・並行論理型言語の研究のほ
うでは、論理変数というのがフツーですね。
http://www.ueda.info.waseda.ac.jp/~n-kato/clp/clp.html
並行論理プログラミングとは
　あと、
http://ja.wikipedia.org/wiki/Future
http://ja.wikipedia.org/wiki/Oz_(プログラミング言語)
http://en.wikipedia.org/wiki/MultiLisp
もどうぞ。