RI is a rule-based program that configures VAX-I 1 computer systems. Given a customer’s purchase order, it determines what, if any, substitutions and additions have to be made to the order to make it consistent and complete and produces a numnber of diagrams showing the spatial and logical relationships among the 90 or so components that typically constitute a system. The program has been used ...