Digital circuit verification

Specifications:

1. Write a prolog program (to deal with the fact that prolog does nor have the full power of Predicate logic) to verify digital circuits
2. Vocabulary fixing - Meaningful and efficient(secondary concern) set of symbols, functions and predicates
3. Constraint description: Universal across circuits
4. Properties: Universal across circuits' prolog assertions
5. Particular to a circuit
	- gates information
	- connectivity information
		- prolog assertions
6. Questions to the program
	a. for the truth table
	b. for values at specific terminals
7. Simulate the circuit testing (Eg. by stuck-at-one fault)
8. Circuit minimization - is the circuit constructed optimal?