要するにPrologはメタ論理レベルのプログラミングが出来ないってこと?