The design and implementation of a knowledge base machine Mu-X (1988)