Prolog って何となく SWI-Prolog みたいなインタプリタや抽象マシンコードコンパイラしか無いような認識の人が多いみたいですが,一応フリーの実装でもスタンドアローン吐けるネイティブコンパイラがあるみたいです. 出るコードの質はよくわかりませんが,たぶん Perl とか Ruby よりは速いんじゃないでしょうか (笑) Perl6 から Rules っていうパーサ DSL みたいなのが入るらしく,その能力はよくわかりませんが,Prolog のパーサ DSL である DCG (確定節文法) 記述は,計算可能な文法は全て記述できる (チョムスキー階層のタイプ 0 文法,制限無し文法.チューリングマシンが受理できる全ての言語を含む,帰納的可算言語というクラスらしい) そうなので,Perl など相手になりませんね :-) The GNU Prolog web site 適当に,さっき見か