Prolog

Electricity consumers are supplied with electricity from an electricity generating station. Electricity is distributed from the main power station to the various consumers (C_i) through a network of transformers (T_j) as shown in the diagram below.

Nodes C1 to C10 are consumers; nodes T1 to T6 are transformers. Each consumer has a direct connection to only one transformer. Sometimes a transformer may malfunction or need to be taken out of service temporarily.

(a) Devise a list data structure in Prolog to represent networks like this.

(b) Write a Prolog program to define predicate supplies such that goal supplies( X, Y ) succeeds when there is an electricity supply from node X to node Y in the network.

(c) Run and test your Prolog code from (a) and (b). Document your results.

(d) Explain how to enhance your representation to permit multiple connections that can be used to make a supply around a transformer that has been taken out of service. Note: The supplies predicate may contain arguments in addition to X and Y at your discretion.

ci T4 C2 T1 C3 C4 T5 Station T2 C6 C7 C5 C8 T6 T3 C9 C10