Description:
McCullough Knowledge Explorer (MKE) is an intelligent knowledge assistant. It helps the user to record, change and search knowledge, and provides extensive error checking to ensure the internal consistency of the knowledge. Interaction with MKE uses the MKR language. MKR is a RI ("Real Intelligence") knowledge representation language; it is very user-friendly, combining the best features of English, UNIX-shell, Unicon, CycL.