知識工学の基礎と応用 [第3回]:Prolog による知識ベースシステムの実現