Circuit representation and diagnosis using Prolog

An algorithm is described for the location of faults in combinational circuits using the logic programming paradigm in the form of Prolog. It is based on the deep reasoning approach to circuit fault diagnosis, and since a failure is defined as a mismatch between expected and measured behavior, it can deal with a wider range of different types of faults than traditional test pattern generation techniques and fault dictionaries. As an examples, this fault diagnosis algorithm is applied to a moderately complex combinatorial circuit. Very encouraging results are obtained.<>