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