Constructing and consulting the knowledge base of an expert systems shell
Antonio Gisolfi, Walter Balzano · Expert Systems · 1993
Abstract: 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.