Constructing and consulting the knowledge base of an expert systems shell

: This paper presents an expert system shell whose inference mechanism uses backward chaining. In particular the modules devoted to constructing and consulting the knowledge base are illustrated. The programming environment is based on the Arity-Prolog language, a popular Prolog dialect running on IBM PCs and compatibles.