Go backward to Question 4
Go up to Top
Go forward to Question 6

Question 5

Give Clark's completion of the following clauses for live and connected_to:

live(Y) <-  
    connected_to(Y,Z) &   
    live(Z).
live(outside).
connected_to(l_1,w_0).
connected_to(w_0,w_1) <- up(s_2).
connected_to(w_0,w_2) <- down(s_2).

Solution to Question 5