Knowledge Representation and INference Environment: KRINE, - An Approach to Integration of Frame, Prolog, and Graphics