論理プログラミング言語の出力をプログラムとして成文させる