まだ浅い。続きに期待。
知識データはなぜ非定型なのか? - インターネットコム
例えば知識やノウハウが命題の形に表現できると考えます。この命題の形にブレークダウンされた知識のデータベースに対してパターマッチングを行って推論をするのが Prolog ですが、
は掴みとしてはいいな。