我々、いや、少なくとも私が目指すのは、自然言語による極く短い
プログラミング。すべての人が質問者であると同時に、プログラマで
あって、その質問がその後再利用できるようになる、そういう言語。
論理プログラミングが支持されるのは、この目標に現時点では、
最も近いプログラミングスタイルを持っているからだ。