単語帖――メタ・プログラミング，導出原理，知識表現，推論エンジン