Using complete K-trees to generate code in Pascal for an expert system

For the past several years, my colleagues and I have been doing work with expert systems and the representation of the knowledge in those systems. We have previously reported on the effectiveness of K-trees, an implementation independent method of knowledge representation, in all of the stages of expert system development. We use K-trees for obtaining and recording heuristics, ordering rules, translating rules into an expert system using a shell, and for documenting the system.