Application of theorem proving to automated diagnoses field

Presents a theorem proving system constructed by Prolog. Based on the descriptions, data and assumptions of logical circuit board (devices), the system can diagnose malfunction of devices automatically, proving whether some component works well.